Matthias Krüger 51769af6ea

Rollup merge of #100691 - compiler-errors:issue-100690, r=estebank ...

Make `same_type_modulo_infer` a proper `TypeRelation`

Specifically, this fixes #100690 because we no longer consider a `ReLateBound` and a `ReVar` to be equal. `ReVar` can only be equal to free regions or static.

2022-08-20 19:32:11 +02:00

..

canonical

fmt...

2022-08-01 20:15:58 +01:00

error_reporting

Rollup merge of #100691 - compiler-errors:issue-100690, r=estebank

2022-08-20 19:32:11 +02:00

higher_ranked

Rollup merge of #100102 - b-naber:typo-higher-ranked-sub, r=Dylan-DPC

2022-08-03 22:30:46 +02:00

lexical_region_resolve

Move is_free and is_free_or_static to Region, change resolve_var to resolve_region, and remove RootEmptyRegion

2022-07-07 20:48:51 -04:00

nll_relate

Update TypeVisitor paths

2022-07-06 06:41:53 +01:00

opaque_types

Have the spans of TAIT type conflict errors point to the actual site instead of the owning function

2022-03-28 16:30:59 +00:00

outlives

ty::Error does not match other types for region constraints

2022-08-17 17:23:52 +00:00

region_constraints

don't normalize wf predicates

2022-08-09 12:54:32 +02:00

at.rs

move considering_regions to the infcx

2022-07-21 13:08:56 +02:00

combine.rs

Update TypeVisitor paths

2022-07-06 06:41:53 +01:00

equate.rs

update higher_ranked_sub docs

2022-06-10 10:09:50 +02:00

free_regions.rs

Move is_free and is_free_or_static to Region, change resolve_var to resolve_region, and remove RootEmptyRegion

2022-07-07 20:48:51 -04:00

freshen.rs

Update TypeVisitor paths

2022-07-06 06:41:53 +01:00

fudge.rs

Rename the ConstS::val field as kind.

2022-06-14 13:06:44 +10:00

glb.rs

lub: don't bail out due to empty binders

2022-06-08 12:41:42 +02:00

lattice.rs

Spellchecking compiler comments

2022-03-30 15:14:15 -04:00

lub.rs

lub: don't bail out due to empty binders

2022-06-08 12:41:42 +02:00

mod.rs

Fix error message with non-tupled bare fn trait

2022-08-16 01:21:11 +00:00

opaque_types.rs

Revert "Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obk"

2022-07-28 15:22:02 +00:00

projection.rs

…

resolve.rs

Move is_free and is_free_or_static to Region, change resolve_var to resolve_region, and remove RootEmptyRegion

2022-07-07 20:48:51 -04:00

sub.rs

Update TypeVisitor paths

2022-07-06 06:41:53 +01:00

type_variable.rs

fix most compiler/ doctests

2022-05-02 17:40:30 -07:00

undo_log.rs

Make evaluate_obligation not succeed unconditionally if it registered new hidden types for opaque types

2022-06-30 14:23:31 +00:00