Verify type is also checked when binding non-class types