mirror of
https://github.com/rust-lang/rust.git
synced 2024-10-31 14:31:55 +00:00
Fix another ICE in point_at_expr_source_of_inferred_type
This commit is contained in:
parent
31f858d9a5
commit
4b01a1a07a
@ -315,7 +315,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
|
||||
probe::ProbeScope::TraitsInScope,
|
||||
None,
|
||||
) {
|
||||
Ok(pick) => pick.self_ty,
|
||||
Ok(pick) => eraser.fold_ty(pick.self_ty),
|
||||
Err(_) => rcvr_ty,
|
||||
};
|
||||
// Remove one layer of references to account for `&mut self` and
|
||||
|
7
tests/ui/typeck/bad-type-in-vec-contains.rs
Normal file
7
tests/ui/typeck/bad-type-in-vec-contains.rs
Normal file
@ -0,0 +1,7 @@
|
||||
// The error message here still is pretty confusing.
|
||||
|
||||
fn main() {
|
||||
let primes = Vec::new();
|
||||
primes.contains(3);
|
||||
//~^ ERROR mismatched types
|
||||
}
|
19
tests/ui/typeck/bad-type-in-vec-contains.stderr
Normal file
19
tests/ui/typeck/bad-type-in-vec-contains.stderr
Normal file
@ -0,0 +1,19 @@
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/bad-type-in-vec-contains.rs:5:21
|
||||
|
|
||||
LL | primes.contains(3);
|
||||
| -------- ^
|
||||
| | |
|
||||
| | expected `&_`, found integer
|
||||
| | help: consider borrowing here: `&3`
|
||||
| arguments to this method are incorrect
|
||||
| here the type of `primes` is inferred to be `[_]`
|
||||
|
|
||||
= note: expected reference `&_`
|
||||
found type `{integer}`
|
||||
note: method defined here
|
||||
--> $SRC_DIR/core/src/slice/mod.rs:LL:COL
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
For more information about this error, try `rustc --explain E0308`.
|
Loading…
Reference in New Issue
Block a user