Skip to content

Commit f824552

Browse files
committed
future compat implications
1 parent 3e44c90 commit f824552

File tree

1 file changed

+19
-0
lines changed

1 file changed

+19
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
// check-pass
2+
struct NeedsCopy<T: Copy>(T);
3+
4+
// Skips WF because of an escaping bound region.
5+
struct HasWfHigherRanked
6+
where
7+
(for<'a> fn(NeedsCopy<&'a mut u32>)):,
8+
{}
9+
10+
// Skips WF because of a placeholder region.
11+
struct HasWfPlaceholder
12+
where
13+
for<'a> NeedsCopy<&'a mut u32>:,
14+
{}
15+
16+
fn main() {
17+
let _: HasWfHigherRanked;
18+
let _: HasWfPlaceholder;
19+
}

0 commit comments

Comments
 (0)