bors d34a3a401b Auto merge of #85090 - Aaron1011:type-outlives-global, r=matthewjasper,jackh726 ...

Return `EvaluatedToOk` when type in outlives predicate is global

A global type doesn't reference any local regions or types, so it's
guaranteed to outlive any region.

2021-07-03 22:42:58 +00:00

..

traits

Auto merge of #85090 - Aaron1011:type-outlives-global, r=matthewjasper,jackh726

2021-07-03 22:42:58 +00:00

autoderef.rs

Restrict access to crate_name.

2021-06-02 18:35:32 +02:00

infer.rs

Fix use of bare trait objects everywhere

2021-03-18 02:18:58 +03:00

lib.rs

remove cfg(bootstrap)

2021-05-24 11:07:48 -04:00

opaque_types.rs

add various coments to explain how the code works

2021-06-18 11:44:56 -04:00