diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2025-03-01 11:33:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-01 11:33:58 +0100 |
| commit | 415b207b7fee2416fef38ea030def6e988620c11 (patch) | |
| tree | 182b9c7322a55b74a1c5a33cb0266807e251897e /compiler/rustc_middle/src | |
| parent | 11ddd56b3145c85ed044a909d24ff078c1bb1097 (diff) | |
| parent | df5b279ca962a84c83a6766dbb02cf23b866082a (diff) | |
| download | rust-415b207b7fee2416fef38ea030def6e988620c11.tar.gz rust-415b207b7fee2416fef38ea030def6e988620c11.zip | |
Rollup merge of #137617 - BoxyUwU:generic_const_parameter_types, r=lcnr
Introduce `feature(generic_const_parameter_types)` Allows to define const generic parameters whose type depends on other generic parameters, e.g. `Foo<const N: usize, const ARR: [u8; N]>;` Wasn't going to implement for this for a while until we could implement it with `bad_inference.rs` resolved but apparently the project simd folks would like to be able to use this for some intrinsics and the inference issue isn't really a huge problem there aiui. (cc ``@workingjubilee`` )
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/ty/sty.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/sty.rs b/compiler/rustc_middle/src/ty/sty.rs index d5617adf26b..e46ab302be2 100644 --- a/compiler/rustc_middle/src/ty/sty.rs +++ b/compiler/rustc_middle/src/ty/sty.rs @@ -342,6 +342,7 @@ impl ParamConst { ParamConst::new(def.index, def.name) } + #[instrument(level = "debug")] pub fn find_ty_from_env<'tcx>(self, env: ParamEnv<'tcx>) -> Ty<'tcx> { let mut candidates = env.caller_bounds().iter().filter_map(|clause| { // `ConstArgHasType` are never desugared to be higher ranked. |