The type resolution check was buggy??