diff options
| author | bors <bors@rust-lang.org> | 2023-02-17 04:45:15 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-02-17 04:45:15 +0000 |
| commit | 9556b56dbdbd4238f0051e7230004b0aa488fa14 (patch) | |
| tree | 239e87d32d56548dd262905ead28de9f0500fa8c /compiler/rustc_middle/src/traits | |
| parent | ea218392a4ce119c4dfcd8fb94a7fee77f76f2c5 (diff) | |
| parent | f6c3469aa2f445c0eb4a7598175cba969ef4b948 (diff) | |
| download | rust-9556b56dbdbd4238f0051e7230004b0aa488fa14.tar.gz rust-9556b56dbdbd4238f0051e7230004b0aa488fa14.zip | |
Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwU
Switch to `EarlyBinder` for `type_of` query Part of the work to finish #105779 and implement https://github.com/rust-lang/types-team/issues/78. Several queries `X` have a `bound_X` variant that wraps the output in `EarlyBinder`. This adds `EarlyBinder` to the return type of the `type_of` query and removes `bound_type_of`. r? `@lcnr`
Diffstat (limited to 'compiler/rustc_middle/src/traits')
| -rw-r--r-- | compiler/rustc_middle/src/traits/specialization_graph.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/traits/specialization_graph.rs b/compiler/rustc_middle/src/traits/specialization_graph.rs index aad5b2fbe07..2f52767d12a 100644 --- a/compiler/rustc_middle/src/traits/specialization_graph.rs +++ b/compiler/rustc_middle/src/traits/specialization_graph.rs @@ -263,7 +263,7 @@ pub fn ancestors( if let Some(reported) = specialization_graph.has_errored { Err(reported) - } else if let Err(reported) = tcx.type_of(start_from_impl).error_reported() { + } else if let Err(reported) = tcx.type_of(start_from_impl).subst_identity().error_reported() { Err(reported) } else { Ok(Ancestors { |