diff options
| author | Boxy <rust@boxyuwu.dev> | 2025-04-24 11:31:33 +0100 |
|---|---|---|
| committer | Boxy <rust@boxyuwu.dev> | 2025-04-24 11:59:20 +0100 |
| commit | bdfeb8f36bb2716eb8f5aca32ba4f81563a6818b (patch) | |
| tree | 4651a63fdf66bd493f20dc9beceab66973ab044a /compiler/rustc_hir_analysis/src/outlives/implicit_infer.rs | |
| parent | 7f695232a80fa1833e2282f2577c5e1ff066bf39 (diff) | |
| download | rust-bdfeb8f36bb2716eb8f5aca32ba4f81563a6818b.tar.gz rust-bdfeb8f36bb2716eb8f5aca32ba4f81563a6818b.zip | |
Remove `weak` alias terminology
Diffstat (limited to 'compiler/rustc_hir_analysis/src/outlives/implicit_infer.rs')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/outlives/implicit_infer.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_hir_analysis/src/outlives/implicit_infer.rs b/compiler/rustc_hir_analysis/src/outlives/implicit_infer.rs index 780c27d4595..c99eb12efcc 100644 --- a/compiler/rustc_hir_analysis/src/outlives/implicit_infer.rs +++ b/compiler/rustc_hir_analysis/src/outlives/implicit_infer.rs @@ -157,10 +157,10 @@ fn insert_required_predicates_to_be_wf<'tcx>( ); } - ty::Alias(ty::Weak, alias) => { + ty::Alias(ty::Free, alias) => { // This corresponds to a type like `Type<'a, T>`. // We check inferred and explicit predicates. - debug!("Weak"); + debug!("Free"); check_inferred_predicates( tcx, alias.def_id, |