62 bool Checker::IsAllTypesAssignableTo(Type *source, Type *target)  in IsAllTypesAssignableTo()  argument
64     if (source->TypeFlags() == TypeFlag::UNION) {  in IsAllTypesAssignableTo()
65         auto &types = source->AsUnionType()->ConstituentTypes();  in IsAllTypesAssignableTo()
71     return relation_->IsAssignableTo(source, target);  in IsAllTypesAssignableTo()
74 bool Checker::IsTypeIdenticalTo(Type *source, Type *target)  in IsTypeIdenticalTo()  argument
76     return relation_->IsIdenticalTo(source, target);  in IsTypeIdenticalTo()
79 bool Checker::IsTypeIdenticalTo(Type *source, Type *target, const diagnostic::DiagnosticKind &diagK…  in IsTypeIdenticalTo()  argument
82     if (!IsTypeIdenticalTo(source, target)) {  in IsTypeIdenticalTo()
90 bool Checker::IsTypeIdenticalTo(Type *source, Type *target, const diagnostic::DiagnosticKind &diagK…  in IsTypeIdenticalTo()  argument
93     return IsTypeIdenticalTo(source, target, diagKind, {}, errPos);  in IsTypeIdenticalTo()
96 bool Checker::IsTypeAssignableTo(Type *source, Type *target)  in IsTypeAssignableTo()  argument
98     return relation_->IsAssignableTo(source, target);  in IsTypeAssignableTo()
101 bool Checker::IsTypeAssignableTo(Type *source, Type *target, const diagnostic::DiagnosticKind &diag…  in IsTypeAssignableTo()  argument
104     if (!IsTypeAssignableTo(source, target)) {  in IsTypeAssignableTo()
111 bool Checker::IsTypeComparableTo(Type *source, Type *target)  in IsTypeComparableTo()  argument
113     return relation_->IsComparableTo(source, target);  in IsTypeComparableTo()
116 bool Checker::IsTypeComparableTo(Type *source, Type *target, const diagnostic::DiagnosticKind &diag…  in IsTypeComparableTo()  argument
119     if (!IsTypeComparableTo(source, target)) {  in IsTypeComparableTo()
126 bool Checker::AreTypesComparable(Type *source, Type *target)  in AreTypesComparable()  argument
128     return IsTypeComparableTo(source, target) || IsTypeComparableTo(target, source);  in AreTypesComparable()
131 bool Checker::IsTypeEqualityComparableTo(Type *source, Type *target)  in IsTypeEqualityComparableTo()  argument
133     return IsTypeComparableTo(source, target);  in IsTypeEqualityComparableTo()