`obj is T` could be a warning if `T` is reified, b...
# reflect
a
obj is T
could be a warning if
T
is reified, but still should be allowed