Re: Overriding type checks in type^H^H^H^Hsoft casts