semantic: Hoist length cast check out of RT.