forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of rust-lang#64661 - Mark-Simulacrum:beta-next, r=Mark-Sim…
…ulacrum [beta] rollup of last set of backports * ci: split aws credentials in two separate users with scoped perms rust-lang#64576 * Updated RELEASES.md for 1.38.0 rust-lang#64283 * Add Compatibility Notes to RELEASES.md for 1.38.0 rust-lang#64621
- Loading branch information
Showing
8 changed files
with
302 additions
and
8 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -3,7 +3,7 @@ trigger: | |
| - try | ||
|
|
||
| variables: | ||
| - group: real-prod-credentials | ||
| - group: prod-credentials | ||
|
|
||
| jobs: | ||
| - job: Linux | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
135 changes: 135 additions & 0 deletions
135
src/test/ui/rfc1445/fn-ptr-is-structurally-matchable.rs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,135 @@ | ||
| // run-pass | ||
|
|
||
| // This file checks that fn ptrs are considered structurally matchable. | ||
| // See also rust-lang/rust#63479. | ||
|
|
||
| fn main() { | ||
| let mut count = 0; | ||
|
|
||
| // A type which is not structurally matchable: | ||
| struct NotSM; | ||
|
|
||
| // And one that is: | ||
| #[derive(PartialEq, Eq)] | ||
| struct SM; | ||
|
|
||
| fn trivial() {} | ||
|
|
||
| fn sm_to(_: SM) {} | ||
| fn not_sm_to(_: NotSM) {} | ||
| fn to_sm() -> SM { SM } | ||
| fn to_not_sm() -> NotSM { NotSM } | ||
|
|
||
| // To recreate the scenario of interest in #63479, we need to add | ||
| // a ref-level-of-indirection so that we descend into the type. | ||
|
|
||
| fn r_sm_to(_: &SM) {} | ||
| fn r_not_sm_to(_: &NotSM) {} | ||
| fn r_to_r_sm(_: &()) -> &SM { &SM } | ||
| fn r_to_r_not_sm(_: &()) -> &NotSM { &NotSM } | ||
|
|
||
| #[derive(PartialEq, Eq)] | ||
| struct Wrap<T>(T); | ||
|
|
||
| // In the code below, we put the match input into a local so that | ||
| // we can assign it an explicit type that is an fn ptr instead of | ||
| // a singleton type of the fn itself that the type inference would | ||
| // otherwise assign. | ||
|
|
||
| // Check that fn() is #[structural_match] | ||
| const CFN1: Wrap<fn()> = Wrap(trivial); | ||
| let input: Wrap<fn()> = Wrap(trivial); | ||
| match Wrap(input) { | ||
| Wrap(CFN1) => count += 1, | ||
| Wrap(_) => {} | ||
| }; | ||
|
|
||
| // Check that fn(T) is #[structural_match] when T is too. | ||
| const CFN2: Wrap<fn(SM)> = Wrap(sm_to); | ||
| let input: Wrap<fn(SM)> = Wrap(sm_to); | ||
| match Wrap(input) { | ||
| Wrap(CFN2) => count += 1, | ||
| Wrap(_) => {} | ||
| }; | ||
|
|
||
| // Check that fn() -> T is #[structural_match] when T is too. | ||
| const CFN3: Wrap<fn() -> SM> = Wrap(to_sm); | ||
| let input: Wrap<fn() -> SM> = Wrap(to_sm); | ||
| match Wrap(input) { | ||
| Wrap(CFN3) => count += 1, | ||
| Wrap(_) => {} | ||
| }; | ||
|
|
||
| // Check that fn(T) is #[structural_match] even if T is not. | ||
| const CFN4: Wrap<fn(NotSM)> = Wrap(not_sm_to); | ||
| let input: Wrap<fn(NotSM)> = Wrap(not_sm_to); | ||
| match Wrap(input) { | ||
| Wrap(CFN4) => count += 1, | ||
| Wrap(_) => {} | ||
| }; | ||
|
|
||
| // Check that fn() -> T is #[structural_match] even if T is not. | ||
| const CFN5: Wrap<fn() -> NotSM> = Wrap(to_not_sm); | ||
| let input: Wrap<fn() -> NotSM> = Wrap(to_not_sm); | ||
| match Wrap(input) { | ||
| Wrap(CFN5) => count += 1, | ||
| Wrap(_) => {} | ||
| }; | ||
|
|
||
| // Check that fn(&T) is #[structural_match] when T is too. | ||
| const CFN6: Wrap<fn(&SM)> = Wrap(r_sm_to); | ||
| let input: Wrap<fn(&SM)> = Wrap(r_sm_to); | ||
| match Wrap(input) { | ||
| Wrap(CFN6) => count += 1, | ||
| Wrap(_) => {} | ||
| }; | ||
|
|
||
| // Check that fn() -> &T is #[structural_match] when T is too. | ||
| const CFN7: Wrap<fn(&()) -> &SM> = Wrap(r_to_r_sm); | ||
| let input: Wrap<fn(&()) -> &SM> = Wrap(r_to_r_sm); | ||
| match Wrap(input) { | ||
| Wrap(CFN7) => count += 1, | ||
| Wrap(_) => {} | ||
| }; | ||
|
|
||
| // Check that fn(T) is #[structural_match] even if T is not. | ||
| const CFN8: Wrap<fn(&NotSM)> = Wrap(r_not_sm_to); | ||
| let input: Wrap<fn(&NotSM)> = Wrap(r_not_sm_to); | ||
| match Wrap(input) { | ||
| Wrap(CFN8) => count += 1, | ||
| Wrap(_) => {} | ||
| }; | ||
|
|
||
| // Check that fn() -> T is #[structural_match] even if T is not. | ||
| const CFN9: Wrap<fn(&()) -> &NotSM> = Wrap(r_to_r_not_sm); | ||
| let input: Wrap<fn(&()) -> &NotSM> = Wrap(r_to_r_not_sm); | ||
| match Wrap(input) { | ||
| Wrap(CFN9) => count += 1, | ||
| Wrap(_) => {} | ||
| }; | ||
|
|
||
| // Check that a type which has fn ptrs is `#[structural_match]`. | ||
| #[derive(PartialEq, Eq)] | ||
| struct Foo { | ||
| alpha: fn(NotSM), | ||
| beta: fn() -> NotSM, | ||
| gamma: fn(SM), | ||
| delta: fn() -> SM, | ||
| } | ||
|
|
||
| const CFOO: Foo = Foo { | ||
| alpha: not_sm_to, | ||
| beta: to_not_sm, | ||
| gamma: sm_to, | ||
| delta: to_sm, | ||
| }; | ||
|
|
||
| let input = Foo { alpha: not_sm_to, beta: to_not_sm, gamma: sm_to, delta: to_sm }; | ||
| match input { | ||
| CFOO => count += 1, | ||
| Foo { .. } => {} | ||
| }; | ||
|
|
||
| // Final count must be 10 now if all | ||
| assert_eq!(count, 10); | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,36 @@ | ||
| // run-pass | ||
|
|
||
| // The actual regression test from #63479. (Including this because my | ||
| // first draft at fn-ptr-is-structurally-matchable.rs failed to actually | ||
| // cover the case this hit; I've since expanded it accordingly, but the | ||
| // experience left me wary of leaving this regression test out.) | ||
|
|
||
| #[derive(Eq)] | ||
| struct A { | ||
| a: i64 | ||
| } | ||
|
|
||
| impl PartialEq for A { | ||
| #[inline] | ||
| fn eq(&self, other: &Self) -> bool { | ||
| self.a.eq(&other.a) | ||
| } | ||
| } | ||
|
|
||
| type Fn = fn(&[A]); | ||
|
|
||
| fn my_fn(_args: &[A]) { | ||
| println!("hello world"); | ||
| } | ||
|
|
||
| const TEST: Fn = my_fn; | ||
|
|
||
| struct B(Fn); | ||
|
|
||
| fn main() { | ||
| let s = B(my_fn); | ||
| match s { | ||
| B(TEST) => println!("matched"), | ||
| _ => panic!("didn't match") | ||
| }; | ||
| } |