Use index

This commit is contained in:
Ayaz Hafiz 2023-06-22 21:01:33 -05:00
parent 6014370b91
commit 16ebcba053
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 3 additions and 2 deletions

View file

@ -1926,7 +1926,7 @@ fn unify_lambda_set_help<M: MetaCollector>(
env,
ctx,
Content::LambdaSet(LambdaSet {
solved: UnionLabels::from_slices(Subs::LAMBDA_NAME_ERASED, SubsSlice::empty()),
solved: UnionLabels::from_tag_name_index(Subs::LAMBDA_NAME_ERASED_INDEX),
recursion_var: OptVariable::NONE,
unspecialized: SubsSlice::empty(),
ambient_function: ambient_function_var,