Universes - #55517

Merged

bors merged 30 commits into

rust-lang:masterfrom

nikomatsakis:universes

Jan 3, 2019

Commits on Jan 2, 2019

remove `commit_if_ok` wrapper
nikomatsakis
committed
5f0fe8f
remove wrapper functions that had no purpose
nikomatsakis
committed
79efed8
make evaluation track whether outlives relationships mattered
nikomatsakis
committed
4b5f274
introduce ability to detect region constraints from snapshot
nikomatsakis
committed
4170829
select.rs: unsizing coercion should use a subtype
nikomatsakis
committed
904a0bd
WIP: wfcheck ability to detect
nikomatsakis
committed
eba2ae5
universe transition
nikomatsakis
committed
b68fad6
add tests exercising `exists<'a> { forall<'b> { .. } }` pattern
nikomatsakis
committed
652fd2e
tests: move coherence-subtyping from run-pass to compile-fail
nikomatsakis
committed
78705b5
tests: worse diagnostics, but basically same errors
nikomatsakis
committed
d3c96ff
tests: cases where we now do the right thing but did not before
nikomatsakis
committed
c8e0a90
WIP other test changes
nikomatsakis
committed
a2d9179
remove outdated `rustc_driver` tests
nikomatsakis
committed
0b03b9b
make `get_highlight_region_for_regionvid` only affect re-vid
nikomatsakis
committed
995192a
dump out the exact state in error reporting debugs
nikomatsakis
committed
6a6d2f4
generalize region highlights into a struct
nikomatsakis
committed
37b0b3e
add the ability to highlight placeholders
nikomatsakis
committed
1597f2a
introduce placeholder-placeholder errors for trait matching
nikomatsakis
committed
0a61d68
apply the new placeholder errors even with just one placeholder
nikomatsakis
committed
6cbbee1
refactor highlighting to take any RegionKind, making it more general
nikomatsakis
committed
77924de
apply the same logic to ConcreteFailure errors
nikomatsakis
committed
7bc3f55
say "the lifetime" instead of "some lifetime" when it feels right
nikomatsakis
committed
a24e04d
improve handling for subtype
nikomatsakis
committed
bc4404c
pacify the mercilous tidy
nikomatsakis
committed
cf2f7cc
address tmandry nits
nikomatsakis
committed
1db7193
add some comments about lifetimes etc
nikomatsakis
committed
c04563e
pacify the mercilous eddyb ;)
nikomatsakis
committed
13ea9b8
track if any region constraints involved placeholders
nikomatsakis
committed
2c17af0
try to detect affected code and direct people to #56105
nikomatsakis
committed
4c8fd2e
rename `type_moves_by_default` to `type_is_copy_modulo_regions`
nikomatsakis
committed
8e89184

Navigation Menu

Uh oh!

Uh oh!

Universes - #55517

Universes#55517
bors merged 30 commits into
rust-lang:masterfrom
nikomatsakis:universes

Commits on Jan 2, 2019

remove `commit_if_ok` wrapper

remove wrapper functions that had no purpose

make evaluation track whether outlives relationships mattered

introduce ability to detect region constraints from snapshot

select.rs: unsizing coercion should use a subtype

WIP: wfcheck ability to detect

universe transition

add tests exercising `exists<'a> { forall<'b> { .. } }` pattern

tests: move coherence-subtyping from run-pass to compile-fail

tests: worse diagnostics, but basically same errors

tests: cases where we now do the right thing but did not before

WIP other test changes

remove outdated `rustc_driver` tests

make `get_highlight_region_for_regionvid` only affect re-vid

dump out the exact state in error reporting debugs

generalize region highlights into a struct

add the ability to highlight placeholders

introduce placeholder-placeholder errors for trait matching

apply the new placeholder errors even with just one placeholder

refactor highlighting to take any RegionKind, making it more general

apply the same logic to ConcreteFailure errors

say "the lifetime" instead of "some lifetime" when it feels right

improve handling for subtype

pacify the mercilous tidy

address tmandry nits

add some comments about lifetimes etc

pacify the mercilous eddyb ;)

track if any region constraints involved placeholders

try to detect affected code and direct people to #56105

rename `type_moves_by_default` to `type_is_copy_modulo_regions`