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