diff options
| author | Oli Scherer <github333195615777966@oli-obk.de> | 2025-06-06 09:28:25 +0000 |
|---|---|---|
| committer | Oli Scherer <github333195615777966@oli-obk.de> | 2025-06-27 07:51:38 +0000 |
| commit | c51f05be3094651711072e43bacac47cf7426be9 (patch) | |
| tree | c266a49e76e1e7f41266cdf7548a986603ef17f1 /compiler/rustc_middle/src/ty/util.rs | |
| parent | df32e15c56f582eb2bdde07711af6271f2ae660b (diff) | |
| download | rust-c51f05be3094651711072e43bacac47cf7426be9.tar.gz rust-c51f05be3094651711072e43bacac47cf7426be9.zip | |
Report infer ty errors during hir ty lowering
This centralizes the placeholder type error reporting in one location, but it also exposes the granularity at which we convert things from hir to ty more. E.g. previously infer types in where bounds were errored together with the function signature, but now they are independent.
Diffstat (limited to 'compiler/rustc_middle/src/ty/util.rs')
| -rw-r--r-- | compiler/rustc_middle/src/ty/util.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/util.rs b/compiler/rustc_middle/src/ty/util.rs index 51f57e71ce9..69b8be3d9cb 100644 --- a/compiler/rustc_middle/src/ty/util.rs +++ b/compiler/rustc_middle/src/ty/util.rs @@ -768,6 +768,7 @@ impl<'tcx> TyCtxt<'tcx> { pub fn def_kind_descr(self, def_kind: DefKind, def_id: DefId) -> &'static str { match def_kind { DefKind::AssocFn if self.associated_item(def_id).is_method() => "method", + DefKind::AssocTy if self.opt_rpitit_info(def_id).is_some() => "opaque type", DefKind::Closure if let Some(coroutine_kind) = self.coroutine_kind(def_id) => { match coroutine_kind { hir::CoroutineKind::Desugared( |