Lines Matching refs:U2

257 template <class T, class U1, class U2>
258 struct is_subtype<T, UnionT<U1, U2>> {
260       is_subtype<T, U1>::value || is_subtype<T, U2>::value;
262 template <class T1, class T2, class U1, class U2>
263 struct is_subtype<UnionT<T1, T2>, UnionT<U1, U2>> {
265       (is_subtype<T1, U1>::value || is_subtype<T1, U2>::value) &&
266       (is_subtype<T2, U1>::value || is_subtype<T2, U2>::value);
307 template <class T, class U1, class U2>
308 struct types_have_common_values<T, UnionT<U1, U2>> {
310                             types_have_common_values<T, U2>::value;
312 template <class T1, class T2, class U1, class U2>
313 struct types_have_common_values<UnionT<T1, T2>, UnionT<U1, U2>> {
315                             types_have_common_values<T1, U2>::value ||
317                             types_have_common_values<T2, U2>::value;