Member predicate AnnotatedType :: isReadonlyRef
Holds if the type is a ref readonly, for example the return type of ref readonly int F().
predicate
isReadonlyRef
(
)