squash npe
don't check type constraints for UnknownType type args
squash unnecessary error message