型修飾子によって示された値のインスタンスではない可能性としてアノテートされた値です。 値はその型修飾子によって示された値を必要とする方法で使われることが保証されています。