Skip to content

Commit ddaafd3

Browse files
committed
Fix test
1 parent cdeb4a6 commit ddaafd3

File tree

2 files changed

+3
-1
lines changed

2 files changed

+3
-1
lines changed

src/ir/lowering/test.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -413,7 +413,7 @@ fn duplicate_parameters() {
413413
type Item<T>: forall<'a> Fn<Ref<'a, T>>;
414414
}
415415
} error_msg {
416-
"duplicate parameters"
416+
"duplicate or shadowed parameters"
417417
}
418418
}
419419
}

src/rules/wf/test.rs

+2
Original file line numberDiff line numberDiff line change
@@ -549,6 +549,8 @@ fn higher_ranked_inline_bound_on_gat() {
549549

550550
struct fn<T, U> { }
551551

552+
impl<T, U> Fn<T, U> for fn<T, U> { }
553+
552554
trait Bar {
553555
type Item<T>: forall<U> Fn<T, U>;
554556
}

0 commit comments

Comments
 (0)