Searched refs:maybe_tuple_unified (Results 1 – 1 of 1) sorted by relevance
525 auto maybe_tuple_unified = unifyTypeList(tup_type->elements(), ss); in matchTypeVariables() local526 if (maybe_tuple_unified) { in matchTypeVariables()528 lt_formal->getElementType(), *maybe_tuple_unified, type_env); in matchTypeVariables()