Commit 3605630

authored and

committed

Remove contraction. The contraction rules predated the notion of an

empty region, and they complicate region inference to no particular end. They also lead in some cases to spurious errors like #29048 (though in some cases these errors are helpful in tracking down missing constraints).

1 parent 071a384 commit 3605630Copy full SHA for 3605630

4 files changed

+58

-312

lines changed

src
- librustc_driver
  - test.rs
- librustc_typeck/check
  - _match.rs
  - regionck.rs
- librustc/middle/infer/region_inference
  - mod.rs

4 files changed

+58

-312

lines changed

Comments

(0)

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Uh oh!

Commit 3605630

4 files changed

4 files changed

Uh oh!

File tree

4 files changed

4 files changed

0 commit comments