smart casts can only happen as a result of languag...
# announcements
g
smart casts can only happen as a result of language intrinsicts, and
require
is just a regular old method.