diff options
| author | Michael Goulet <michael@errs.io> | 2025-01-03 05:01:14 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-01-03 05:01:14 +0000 |
| commit | 2d602ea7931ca6988a34567d9255a10c09d0e17e (patch) | |
| tree | 162e73434158f2a8dfdded085ce36f262f419b0e /compiler/rustc_middle/src/query/mod.rs | |
| parent | ab3924b298eb78bf4c96cf7e6b5824f8debbf2b9 (diff) | |
| download | rust-2d602ea7931ca6988a34567d9255a10c09d0e17e.tar.gz rust-2d602ea7931ca6988a34567d9255a10c09d0e17e.zip | |
Do not project when there are unconstrained impl params
Diffstat (limited to 'compiler/rustc_middle/src/query/mod.rs')
| -rw-r--r-- | compiler/rustc_middle/src/query/mod.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/query/mod.rs b/compiler/rustc_middle/src/query/mod.rs index 7e7b602c560..8b8467472f5 100644 --- a/compiler/rustc_middle/src/query/mod.rs +++ b/compiler/rustc_middle/src/query/mod.rs @@ -1719,6 +1719,11 @@ rustc_queries! { ensure_forwards_result_if_red } + query enforce_impl_non_lifetime_params_are_constrained(key: LocalDefId) -> Result<(), ErrorGuaranteed> { + desc { |tcx| "checking that `{}`'s generics are constrained by the impl header", tcx.def_path_str(key) } + ensure_forwards_result_if_red + } + // The `DefId`s of all non-generic functions and statics in the given crate // that can be reached from outside the crate. // |