Skip to content

Commit 2f457d9

Browse files
committed
filter out trailing effect param in own_args_no_defaults
1 parent e03c18b commit 2f457d9

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

Diff for: compiler/rustc_middle/src/ty/generics.rs

+2
Original file line numberDiff line numberDiff line change
@@ -342,6 +342,8 @@ impl<'tcx> Generics {
342342
param.default_value(tcx).is_some_and(|default| {
343343
default.instantiate(tcx, args) == args[param.index as usize]
344344
})
345+
// filter out trailing effect params
346+
|| matches!(param.kind, GenericParamDefKind::Const { is_host_effect: true, .. })
345347
})
346348
.count();
347349
own_params.end -= num_default_params;

0 commit comments

Comments
 (0)