diff options
author | Florian Diebold <[email protected]> | 2021-04-29 19:00:21 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-29 19:00:21 +0100 |
commit | 184a0d7c1eb110571dc773c44a87206261fcf9ce (patch) | |
tree | 22e39c16ce2f478360709be527c44d7253fc8db3 /crates | |
parent | 80bee14e14f67f02746befff77a8a4bbfd3e5849 (diff) |
Add test for #8686
Diffstat (limited to 'crates')
-rw-r--r-- | crates/hir_ty/src/tests/regression.rs | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/crates/hir_ty/src/tests/regression.rs b/crates/hir_ty/src/tests/regression.rs index 9cd9f473d..add12c6db 100644 --- a/crates/hir_ty/src/tests/regression.rs +++ b/crates/hir_ty/src/tests/regression.rs | |||
@@ -1012,3 +1012,33 @@ fn lifetime_from_chalk_during_deref() { | |||
1012 | "#, | 1012 | "#, |
1013 | ) | 1013 | ) |
1014 | } | 1014 | } |
1015 | |||
1016 | #[test] | ||
1017 | fn issue_8686() { | ||
1018 | check_infer( | ||
1019 | r#" | ||
1020 | pub trait Try: FromResidual { | ||
1021 | type Output; | ||
1022 | type Residual; | ||
1023 | } | ||
1024 | pub trait FromResidual<R = <Self as Try>::Residual> { | ||
1025 | fn from_residual(residual: R) -> Self; | ||
1026 | } | ||
1027 | |||
1028 | struct ControlFlow<B, C>; | ||
1029 | impl<B, C> Try for ControlFlow<B, C> { | ||
1030 | type Output = C; | ||
1031 | type Residual = ControlFlow<B, !>; | ||
1032 | } | ||
1033 | impl<B, C> FromResidual for ControlFlow<B, C> { | ||
1034 | fn from_residual(r: ControlFlow<B, !>) -> Self { ControlFlow } | ||
1035 | } | ||
1036 | |||
1037 | fn test() { | ||
1038 | ControlFlow::from_residual(ControlFlow::<u32, !>); | ||
1039 | } | ||
1040 | "#, | ||
1041 | expect![[r#" | ||
1042 | "#]], | ||
1043 | ); | ||
1044 | } | ||