Is a implicit cast required on erasure typing policy?

Property definitions

nitc $ CallSite :: erasure_cast
	# Is a implicit cast required on erasure typing policy?
	var erasure_cast: Bool
src/semantize/typing.nit:804,2--805,23