rework how we handle outlives relationships#54453

Merged

bors merged 34 commits intorust-lang:masterfrom nikomatsakis:nll-issue-53121-shred-outlives

Sep 26, 2018

+2,573-1,603

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

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