Skip to content

Commit 2820bc4

Browse files
compiler-errorscompiler-errors
committed
Revert "Remove deferred sized checks"
This reverts commit 33212bf.
1 parent 2b443a8 commit 2820bc4

17 files changed

+230
-35
lines changed

‎compiler/rustc_typeck/src/check/expr.rs

Lines changed: 5 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -561,17 +561,16 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
561561
// We just want to check sizedness, so instead of introducing
562562
// placeholder lifetimes with probing, we just replace higher lifetimes
563563
// with fresh vars.
564-
let arg_span = args.get(i).map(|a| a.span);
565-
let span = arg_span.unwrap_or(expr.span);
564+
let span = args.get(i).map(|a| a.span).unwrap_or(expr.span);
566565
let input = self.replace_bound_vars_with_fresh_vars(
567566
span,
568567
infer::LateBoundRegionConversionTime::FnCall,
569568
fn_sig.input(i),
570569
);
571-
self.require_type_is_sized(
572-
self.normalize_associated_types_in(span, input),
570+
self.require_type_is_sized_deferred(
571+
input,
573572
span,
574-
traits::SizedArgumentType(arg_span),
573+
traits::SizedArgumentType(None),
575574
);
576575
}
577576
}
@@ -586,11 +585,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
586585
infer::LateBoundRegionConversionTime::FnCall,
587586
fn_sig.output(),
588587
);
589-
self.require_type_is_sized(
590-
self.normalize_associated_types_in(expr.span, output),
591-
expr.span,
592-
traits::SizedReturnType,
593-
);
588+
self.require_type_is_sized_deferred(output, expr.span, traits::SizedReturnType);
594589
}
595590

596591
// We always require that the type provided as the value for

‎compiler/rustc_typeck/src/check/fn_ctxt/_impl.rs

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -442,6 +442,17 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
442442
}
443443
}
444444

445+
pub fn require_type_is_sized_deferred(
446+
&self,
447+
ty: Ty<'tcx>,
448+
span: Span,
449+
code: traits::ObligationCauseCode<'tcx>,
450+
) {
451+
if !ty.references_error() {
452+
self.deferred_sized_obligations.borrow_mut().push((ty, span, code));
453+
}
454+
}
455+
445456
pub fn register_bound(
446457
&self,
447458
ty: Ty<'tcx>,

‎compiler/rustc_typeck/src/check/inherited.rs

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,11 @@ pub struct Inherited<'a, 'tcx> {
3535

3636
pub(super) fulfillment_cx: RefCell<Box<dyn TraitEngine<'tcx>>>,
3737

38+
// Some additional `Sized` obligations badly affect type inference.
39+
// These obligations are added in a later stage of typeck.
40+
pub(super) deferred_sized_obligations:
41+
RefCell<Vec<(Ty<'tcx>, Span, traits::ObligationCauseCode<'tcx>)>>,
42+
3843
// When we process a call like `c()` where `c` is a closure type,
3944
// we may not have decided yet whether `c` is a `Fn`, `FnMut`, or
4045
// `FnOnce` closure. In that case, we defer full resolution of the
@@ -112,6 +117,7 @@ impl<'a, 'tcx> Inherited<'a, 'tcx> {
112117
infcx,
113118
fulfillment_cx: RefCell::new(<dyn TraitEngine<'_>>::new(tcx)),
114119
locals: RefCell::new(Default::default()),
120+
deferred_sized_obligations: RefCell::new(Vec::new()),
115121
deferred_call_resolutions: RefCell::new(Default::default()),
116122
deferred_cast_checks: RefCell::new(Vec::new()),
117123
deferred_transmute_checks: RefCell::new(Vec::new()),

‎compiler/rustc_typeck/src/check/mod.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -466,6 +466,11 @@ fn typeck_with_fallback<'tcx>(
466466
fcx.resolve_rvalue_scopes(def_id.to_def_id());
467467
fcx.resolve_generator_interiors(def_id.to_def_id());
468468

469+
for (ty, span, code) in fcx.deferred_sized_obligations.borrow_mut().drain(..) {
470+
let ty = fcx.normalize_ty(span, ty);
471+
fcx.require_type_is_sized(ty, span, code);
472+
}
473+
469474
fcx.select_all_obligations_or_error();
470475

471476
if !fcx.infcx.is_tainted_by_errors() {

‎src/test/incremental/const-generics/hash-tyvid-regression-1.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ where
99
use std::convert::TryFrom;
1010
<[T; N.get()]>::try_from(())
1111
//~^ error: the trait bound
12+
//~| error: the trait bound
1213
//~| error: mismatched types
1314
}
1415

‎src/test/ui/associated-types/associated-types-path-2.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -29,12 +29,14 @@ pub fn f1_uint_uint() {
2929
f1(2u32, 4u32);
3030
//~^ ERROR `u32: Foo` is not satisfied
3131
//~| ERROR `u32: Foo` is not satisfied
32+
//~| ERROR `u32: Foo` is not satisfied
3233
}
3334

3435
pub fn f1_uint_int() {
3536
f1(2u32, 4i32);
3637
//~^ ERROR `u32: Foo` is not satisfied
3738
//~| ERROR `u32: Foo` is not satisfied
39+
//~| ERROR `u32: Foo` is not satisfied
3840
}
3941

4042
pub fn f2_int() {

‎src/test/ui/associated-types/associated-types-path-2.stderr

Lines changed: 20 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,14 @@ note: required by a bound in `f1`
3131
LL | pub fn f1<T: Foo>(a: T, x: T::A) {}
3232
| ^^^ required by this bound in `f1`
3333

34+
error[E0277]: the trait bound `u32: Foo` is not satisfied
35+
--> $DIR/associated-types-path-2.rs:29:5
36+
|
37+
LL | f1(2u32, 4u32);
38+
| ^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `u32`
39+
|
40+
= help: the trait `Foo` is implemented for `i32`
41+
3442
error[E0277]: the trait bound `u32: Foo` is not satisfied
3543
--> $DIR/associated-types-path-2.rs:29:14
3644
|
@@ -40,7 +48,7 @@ LL | f1(2u32, 4u32);
4048
= help: the trait `Foo` is implemented for `i32`
4149

4250
error[E0277]: the trait bound `u32: Foo` is not satisfied
43-
--> $DIR/associated-types-path-2.rs:35:8
51+
--> $DIR/associated-types-path-2.rs:36:8
4452
|
4553
LL | f1(2u32, 4i32);
4654
| -- ^^^^ the trait `Foo` is not implemented for `u32`
@@ -55,15 +63,23 @@ LL | pub fn f1<T: Foo>(a: T, x: T::A) {}
5563
| ^^^ required by this bound in `f1`
5664

5765
error[E0277]: the trait bound `u32: Foo` is not satisfied
58-
--> $DIR/associated-types-path-2.rs:35:14
66+
--> $DIR/associated-types-path-2.rs:36:5
67+
|
68+
LL | f1(2u32, 4i32);
69+
| ^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `u32`
70+
|
71+
= help: the trait `Foo` is implemented for `i32`
72+
73+
error[E0277]: the trait bound `u32: Foo` is not satisfied
74+
--> $DIR/associated-types-path-2.rs:36:14
5975
|
6076
LL | f1(2u32, 4i32);
6177
| ^^^^ the trait `Foo` is not implemented for `u32`
6278
|
6379
= help: the trait `Foo` is implemented for `i32`
6480

6581
error[E0308]: mismatched types
66-
--> $DIR/associated-types-path-2.rs:41:18
82+
--> $DIR/associated-types-path-2.rs:43:18
6783
|
6884
LL | let _: i32 = f2(2i32);
6985
| --- ^^^^^^^^ expected `i32`, found `u32`
@@ -75,7 +91,7 @@ help: you can convert a `u32` to an `i32` and panic if the converted value doesn
7591
LL | let _: i32 = f2(2i32).try_into().unwrap();
7692
| ++++++++++++++++++++
7793

78-
error: aborting due to 6 previous errors
94+
error: aborting due to 8 previous errors
7995

8096
Some errors have detailed explanations: E0277, E0308.
8197
For more information about an error, try `rustc --explain E0277`.

‎src/test/ui/feature-gates/feature-gate-unsized_fn_params.stderr

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -18,11 +18,8 @@ LL | foo(*x);
1818
| ^^ doesn't have a size known at compile-time
1919
|
2020
= help: the trait `Sized` is not implemented for `(dyn Foo + 'static)`
21+
= note: all function arguments must have a statically known size
2122
= help: unsized fn params are gated as an unstable feature
22-
help: function arguments must have a statically known size, borrowed types always have a known size
23-
|
24-
LL | foo(&*x);
25-
| +
2623

2724
error: aborting due to 2 previous errors
2825

‎src/test/ui/iterators/issue-28098.rs

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,15 @@
11
fn main() {
22
let _ = Iterator::next(&mut ());
33
//~^ ERROR `()` is not an iterator
4+
//~| ERROR `()` is not an iterator
5+
//~| ERROR `()` is not an iterator
46

57
for _ in false {}
68
//~^ ERROR `bool` is not an iterator
79

810
let _ = Iterator::next(&mut ());
911
//~^ ERROR `()` is not an iterator
12+
//~| ERROR `()` is not an iterator
1013

1114
other()
1215
}
@@ -16,9 +19,12 @@ pub fn other() {
1619

1720
let _ = Iterator::next(&mut ());
1821
//~^ ERROR `()` is not an iterator
22+
//~| ERROR `()` is not an iterator
23+
//~| ERROR `()` is not an iterator
1924

2025
let _ = Iterator::next(&mut ());
2126
//~^ ERROR `()` is not an iterator
27+
//~| ERROR `()` is not an iterator
2228

2329
for _ in false {}
2430
//~^ ERROR `bool` is not an iterator

‎src/test/ui/iterators/issue-28098.stderr

Lines changed: 54 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,16 @@ LL | let _ = Iterator::next(&mut ());
88
|
99
= help: the trait `Iterator` is not implemented for `()`
1010

11+
error[E0277]: `()` is not an iterator
12+
--> $DIR/issue-28098.rs:2:13
13+
|
14+
LL | let _ = Iterator::next(&mut ());
15+
| ^^^^^^^^^^^^^^^^^^^^^^^ `()` is not an iterator
16+
|
17+
= help: the trait `Iterator` is not implemented for `()`
18+
1119
error[E0277]: `bool` is not an iterator
12-
--> $DIR/issue-28098.rs:5:14
20+
--> $DIR/issue-28098.rs:7:14
1321
|
1422
LL | for _ in false {}
1523
| ^^^^^ `bool` is not an iterator
@@ -18,7 +26,7 @@ LL | for _ in false {}
1826
= note: required for `bool` to implement `IntoIterator`
1927

2028
error[E0277]: `()` is not an iterator
21-
--> $DIR/issue-28098.rs:8:28
29+
--> $DIR/issue-28098.rs:10:28
2230
|
2331
LL | let _ = Iterator::next(&mut ());
2432
| -------------- ^^^^^^^ `()` is not an iterator
@@ -28,7 +36,23 @@ LL | let _ = Iterator::next(&mut ());
2836
= help: the trait `Iterator` is not implemented for `()`
2937

3038
error[E0277]: `()` is not an iterator
31-
--> $DIR/issue-28098.rs:17:28
39+
--> $DIR/issue-28098.rs:10:13
40+
|
41+
LL | let _ = Iterator::next(&mut ());
42+
| ^^^^^^^^^^^^^^^^^^^^^^^ `()` is not an iterator
43+
|
44+
= help: the trait `Iterator` is not implemented for `()`
45+
46+
error[E0277]: `()` is not an iterator
47+
--> $DIR/issue-28098.rs:2:13
48+
|
49+
LL | let _ = Iterator::next(&mut ());
50+
| ^^^^^^^^^^^^^^ `()` is not an iterator
51+
|
52+
= help: the trait `Iterator` is not implemented for `()`
53+
54+
error[E0277]: `()` is not an iterator
55+
--> $DIR/issue-28098.rs:20:28
3256
|
3357
LL | let _ = Iterator::next(&mut ());
3458
| -------------- ^^^^^^^ `()` is not an iterator
@@ -38,7 +62,15 @@ LL | let _ = Iterator::next(&mut ());
3862
= help: the trait `Iterator` is not implemented for `()`
3963

4064
error[E0277]: `()` is not an iterator
41-
--> $DIR/issue-28098.rs:20:28
65+
--> $DIR/issue-28098.rs:20:13
66+
|
67+
LL | let _ = Iterator::next(&mut ());
68+
| ^^^^^^^^^^^^^^^^^^^^^^^ `()` is not an iterator
69+
|
70+
= help: the trait `Iterator` is not implemented for `()`
71+
72+
error[E0277]: `()` is not an iterator
73+
--> $DIR/issue-28098.rs:25:28
4274
|
4375
LL | let _ = Iterator::next(&mut ());
4476
| -------------- ^^^^^^^ `()` is not an iterator
@@ -47,15 +79,31 @@ LL | let _ = Iterator::next(&mut ());
4779
|
4880
= help: the trait `Iterator` is not implemented for `()`
4981

82+
error[E0277]: `()` is not an iterator
83+
--> $DIR/issue-28098.rs:25:13
84+
|
85+
LL | let _ = Iterator::next(&mut ());
86+
| ^^^^^^^^^^^^^^^^^^^^^^^ `()` is not an iterator
87+
|
88+
= help: the trait `Iterator` is not implemented for `()`
89+
5090
error[E0277]: `bool` is not an iterator
51-
--> $DIR/issue-28098.rs:23:14
91+
--> $DIR/issue-28098.rs:29:14
5292
|
5393
LL | for _ in false {}
5494
| ^^^^^ `bool` is not an iterator
5595
|
5696
= help: the trait `Iterator` is not implemented for `bool`
5797
= note: required for `bool` to implement `IntoIterator`
5898

59-
error: aborting due to 6 previous errors
99+
error[E0277]: `()` is not an iterator
100+
--> $DIR/issue-28098.rs:20:13
101+
|
102+
LL | let _ = Iterator::next(&mut ());
103+
| ^^^^^^^^^^^^^^ `()` is not an iterator
104+
|
105+
= help: the trait `Iterator` is not implemented for `()`
106+
107+
error: aborting due to 12 previous errors
60108

61109
For more information about this error, try `rustc --explain E0277`.

‎src/test/ui/on-unimplemented/multiple-impls.rs

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,8 +32,14 @@ impl Index<Bar<usize>> for [i32] {
3232
fn main() {
3333
Index::index(&[] as &[i32], 2u32);
3434
//~^ ERROR E0277
35+
//~| ERROR E0277
36+
//~| ERROR E0277
3537
Index::index(&[] as &[i32], Foo(2u32));
3638
//~^ ERROR E0277
39+
//~| ERROR E0277
40+
//~| ERROR E0277
3741
Index::index(&[] as &[i32], Bar(2u32));
3842
//~^ ERROR E0277
43+
//~| ERROR E0277
44+
//~| ERROR E0277
3945
}

0 commit comments

Comments
 (0)