diff options
| author | Deadbeef <ent3rm4n@gmail.com> | 2023-12-10 10:17:00 +0000 |
|---|---|---|
| committer | Deadbeef <ent3rm4n@gmail.com> | 2023-12-10 10:17:00 +0000 |
| commit | 2f457d9d6085de41d112aeb1116761ce480427b6 (patch) | |
| tree | 81a364db5d61626eae53dcdc2668643f91028485 /compiler/rustc_middle/src/ty/generics.rs | |
| parent | e03c18b1b353a0953752d0cb4ea7aeb014f2384e (diff) | |
| download | rust-2f457d9d6085de41d112aeb1116761ce480427b6.tar.gz rust-2f457d9d6085de41d112aeb1116761ce480427b6.zip | |
filter out trailing effect param in `own_args_no_defaults`
Diffstat (limited to 'compiler/rustc_middle/src/ty/generics.rs')
| -rw-r--r-- | compiler/rustc_middle/src/ty/generics.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/generics.rs b/compiler/rustc_middle/src/ty/generics.rs index 12294b0a602..f0e63dfddda 100644 --- a/compiler/rustc_middle/src/ty/generics.rs +++ b/compiler/rustc_middle/src/ty/generics.rs @@ -342,6 +342,8 @@ impl<'tcx> Generics { param.default_value(tcx).is_some_and(|default| { default.instantiate(tcx, args) == args[param.index as usize] }) + // filter out trailing effect params + || matches!(param.kind, GenericParamDefKind::Const { is_host_effect: true, .. }) }) .count(); own_params.end -= num_default_params; |