Member predicate AnnotatedType::isRef

Holds if the type is a ref, for example the return type of ref int F().