diff options
| author | bors <bors@rust-lang.org> | 2018-09-11 20:59:11 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2018-09-11 20:59:11 +0000 |
| commit | 2f1547c0aa5957b42cc768c00119c6eb7b4262d3 (patch) | |
| tree | b473b735b42819d12e23e72f97c5294a6a228aa7 /src/test/incremental/thinlto | |
| parent | f17c2306e2eba49f6447cfda831e4161bf0b618a (diff) | |
| parent | f95f23f0c3f56d40a57b6e5b538aa98fd4f18b0f (diff) | |
| download | rust-2f1547c0aa5957b42cc768c00119c6eb7b4262d3.tar.gz rust-2f1547c0aa5957b42cc768c00119c6eb7b4262d3.zip | |
Auto merge of #53873 - nikomatsakis:nll-universe-subtyping-and-pattern-ascription, r=pnkfelix
support ascription for patterns in NLL This implements the strategy outlined in [this comment](https://github.com/rust-lang/rust/issues/47184#issuecomment-416669986): - We first extend the NLL subtyping code so it can handle inference variables and subtyping. - Then we extend HAIR patterns with type ascription. - Then we treat the type `T` in `let pat: T = ...` as an ascription. Before landing, a few things: - [x] Fix the WF rule bug (filed a FIXME https://github.com/rust-lang/rust/issues/54105) - [x] Fix an ICE I encountered locally around bound regions, or else file a follow-up - [x] More tests probably =) r? @pnkfelix
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions