rework how we handle outlives relationships#54453

Merged

bors merged 34 commits intorust-lang:masterfrom

nikomatsakis:nll-issue-53121-shred-outlives

Sep 26, 2018

Commits on Sep 26, 2018

regionck: rustfmt
nikomatsakis
committed
outlives/env: rustfmt
nikomatsakis
committed
build up a map of the region-bound pairs for each body-id
nikomatsakis
committed
use a `UnlessNll` flag to consolidate error reporting paths
nikomatsakis
committed
change `RegionObligation` to store a `SubregionOrigin`
nikomatsakis
committed
auto_trait.rs: rustfmt
nikomatsakis
committed
use `RegionBoundPairs` type alias
nikomatsakis
committed
type_check/mod.rs: rustfmt
nikomatsakis
committed
apply `process_registered_region_obligations` at the end of regionck
nikomatsakis
committed
break out the code that computes VerifyBounds
nikomatsakis
committed
split out getting the declared bounds from the env versus trait
nikomatsakis
committed
introduce a "comparison fn" instead of always use `==`
nikomatsakis
committed
introduce the idea of an "approximate match"
nikomatsakis
committed
propagate the `compare_ty` fn further up
nikomatsakis
committed
use approx. bounds to decide whether to add outlives obligations
nikomatsakis
committed
refactor NLL relate_tys to use Region internally, not RegionVid
nikomatsakis
committed
extract out NLL-specific code from relate-tys into a delegate
nikomatsakis
committed
encapsulate `infcx` too into the delegate
nikomatsakis
committed
lexical_region_resolve: rustfmt
nikomatsakis
committed
make `normalize` work on any type-foldable
nikomatsakis
committed
remove handling of verify from taintset
nikomatsakis
committed
change to use impl Trait a bit
nikomatsakis
committed
introduce `VerifyBound::IfEq` (presently unused)
nikomatsakis
committed
refactor away `AnyRegions` and `AllRegions`
nikomatsakis
committed
use `IfEq` to defer equality comparison around `where` clauses`
nikomatsakis
committed
region_infer: rustfmt
nikomatsakis
committed
switch to use `VerifyBound` instead of `RegionTest`
nikomatsakis
committed
make NLL handle `IfEq` bounds by using SCC normalization
nikomatsakis
committed
convert from an `UnlessNll` flag to a `SuppressRegionErrors` flag
nikomatsakis
committed
update tests and add stderr files
nikomatsakis
committed
rustfmt `error_reporting/mod.rs` and `dropck.rs`
nikomatsakis
committed
pacify the mercilous tidy.
nikomatsakis
committed
fix rustc_driver tests
nikomatsakis
committed
rustc_driver/test.rs: rustfmt
nikomatsakis
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

rework how we handle outlives relationships#54453

Commits on Sep 26, 2018

regionck: rustfmt

outlives/env: rustfmt

build up a map of the region-bound pairs for each body-id

use a `UnlessNll` flag to consolidate error reporting paths

change `RegionObligation` to store a `SubregionOrigin`

auto_trait.rs: rustfmt

use `RegionBoundPairs` type alias

type_check/mod.rs: rustfmt

apply `process_registered_region_obligations` at the end of regionck

break out the code that computes VerifyBounds

split out getting the declared bounds from the env versus trait

introduce a "comparison fn" instead of always use `==`

introduce the idea of an "approximate match"

propagate the `compare_ty` fn further up

use approx. bounds to decide whether to add outlives obligations

refactor NLL relate_tys to use Region internally, not RegionVid

extract out NLL-specific code from relate-tys into a delegate

encapsulate `infcx` too into the delegate

lexical_region_resolve: rustfmt

make `normalize` work on any type-foldable

remove handling of verify from taintset

change to use impl Trait a bit

introduce `VerifyBound::IfEq` (presently unused)

refactor away `AnyRegions` and `AllRegions`

use `IfEq` to defer equality comparison around `where` clauses`

region_infer: rustfmt

switch to use `VerifyBound` instead of `RegionTest`

make NLL handle `IfEq` bounds by using SCC normalization

convert from an `UnlessNll` flag to a `SuppressRegionErrors` flag

update tests and add stderr files

rustfmt `error_reporting/mod.rs` and `dropck.rs`

pacify the mercilous tidy.

fix rustc_driver tests

rustc_driver/test.rs: rustfmt