filter out trailing effect param in own_args_no_defaults
This commit is contained in:
parent
e03c18b1b3
commit
2f457d9d60
1 changed files with 2 additions and 0 deletions
|
@ -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;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue