diff options
Diffstat (limited to 'crates/hir_ty/src/tests/regression.rs')
-rw-r--r-- | crates/hir_ty/src/tests/regression.rs | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/crates/hir_ty/src/tests/regression.rs b/crates/hir_ty/src/tests/regression.rs index 0f418ea49..8c5e8954c 100644 --- a/crates/hir_ty/src/tests/regression.rs +++ b/crates/hir_ty/src/tests/regression.rs | |||
@@ -1,6 +1,6 @@ | |||
1 | use expect_test::expect; | 1 | use expect_test::expect; |
2 | 2 | ||
3 | use super::{check_infer, check_types}; | 3 | use super::{check_infer, check_no_mismatches, check_types}; |
4 | 4 | ||
5 | #[test] | 5 | #[test] |
6 | fn bug_484() { | 6 | fn bug_484() { |
@@ -422,20 +422,20 @@ fn issue_2683_chars_impl() { | |||
422 | pub struct Chars<'a> {} | 422 | pub struct Chars<'a> {} |
423 | impl<'a> Iterator for Chars<'a> { | 423 | impl<'a> Iterator for Chars<'a> { |
424 | type Item = char; | 424 | type Item = char; |
425 | fn next(&mut self) -> Option<char> {} | 425 | fn next(&mut self) -> Option<char> { loop {} } |
426 | } | 426 | } |
427 | 427 | ||
428 | fn test() { | 428 | fn test() { |
429 | let chars: Chars<'_>; | 429 | let chars: Chars<'_>; |
430 | (chars.next(), chars.nth(1)); | 430 | (chars.next(), chars.nth(1)); |
431 | } //^ (Option<char>, Option<char>) | 431 | } //^^^^^^^^^^^^^^^^^^^^^^^^^^^^ (Option<char>, Option<char>) |
432 | "#, | 432 | "#, |
433 | ); | 433 | ); |
434 | } | 434 | } |
435 | 435 | ||
436 | #[test] | 436 | #[test] |
437 | fn issue_3642_bad_macro_stackover() { | 437 | fn issue_3642_bad_macro_stackover() { |
438 | check_types( | 438 | check_no_mismatches( |
439 | r#" | 439 | r#" |
440 | #[macro_export] | 440 | #[macro_export] |
441 | macro_rules! match_ast { | 441 | macro_rules! match_ast { |
@@ -452,7 +452,6 @@ macro_rules! match_ast { | |||
452 | 452 | ||
453 | fn main() { | 453 | fn main() { |
454 | let anchor = match_ast! { | 454 | let anchor = match_ast! { |
455 | //^ () | ||
456 | match parent { | 455 | match parent { |
457 | as => {}, | 456 | as => {}, |
458 | _ => return None | 457 | _ => return None |
@@ -956,7 +955,7 @@ trait IterTrait<'a, T: 'a>: Iterator<Item = &'a T> { | |||
956 | 955 | ||
957 | fn clone_iter<T>(s: Iter<T>) { | 956 | fn clone_iter<T>(s: Iter<T>) { |
958 | s.inner.clone_box(); | 957 | s.inner.clone_box(); |
959 | //^^^^^^^^^^^^^^^^^^^ () | 958 | //^^^^^^^^^^^^^^^^^^^ () |
960 | } | 959 | } |
961 | "#, | 960 | "#, |
962 | ) | 961 | ) |