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