This commit is contained in:
Ayaz Hafiz 2022-07-26 18:35:50 -04:00
parent 1851ee09f8
commit a62048f799
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -1372,7 +1372,7 @@ fn unify_unspecialized_lambdas<M: MetaCollector>(
//
// But, in expected function, they **should not** be treated as disjoint!
// In this case, the specialization lambda is not introducing any new
// information, and is targetting exactly the local lambda `a:lam:1`.
// information, and is targeting exactly the local lambda `a:lam:1`.
//
// So, to avoid introducing superfluous variables, we unify these disjoint
// variables once, and then progress on both sides. We progress on both