Skip to content

Commit d13fe1c

Browse files
committed
Fix an ICE with error types in a vec
Closes #16783
1 parent f2b87e9 commit d13fe1c

File tree

2 files changed

+20
-0
lines changed

2 files changed

+20
-0
lines changed

src/librustc/middle/ty.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3266,6 +3266,11 @@ pub fn adjust_ty(cx: &ctxt,
32663266
-> ty::t {
32673267
/*! See `expr_ty_adjusted` */
32683268

3269+
match get(unadjusted_ty).sty {
3270+
ty_err => return unadjusted_ty,
3271+
_ => {}
3272+
}
3273+
32693274
return match adjustment {
32703275
Some(adjustment) => {
32713276
match *adjustment {

src/test/compile-fail/issue-16783.rs

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
// Copyright 2014 The Rust Project Developers. See the COPYRIGHT
2+
// file at the top-level directory of this distribution and at
3+
// http://rust-lang.org/COPYRIGHT.
4+
//
5+
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6+
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8+
// option. This file may not be copied, modified, or distributed
9+
// except according to those terms.
10+
11+
pub fn main() {
12+
let x = [1, 2, 3];
13+
//~^ ERROR cannot determine a type for this local variable: cannot determine the type of this
14+
let y = x.as_slice();
15+
}

0 commit comments

Comments
 (0)