1
Fork 0

resolve: Pre-intern tool module bindings

This commit is contained in:
Vadim Petrochenkov 2023-08-18 17:18:26 +08:00
parent 05010b6074
commit d1f8ea417c
2 changed files with 11 additions and 2 deletions

View file

@ -572,8 +572,8 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
)),
}
}
Scope::ToolPrelude => match this.registered_tools.get(&ident).cloned() {
Some(ident) => ok(Res::ToolMod, ident.span, this.arenas),
Scope::ToolPrelude => match this.registered_tool_bindings.get(&ident) {
Some(binding) => Ok((*binding, Flags::empty())),
None => Err(Determinacy::Determined),
},
Scope::StdLibPrelude => {