| .. |
|
anon_types
|
Fix ICE with impl Trait
|
2018-04-06 23:17:25 +09:00 |
|
error_reporting
|
Print region in case of ICE
|
2018-04-08 10:34:39 +09:00 |
|
higher_ranked
|
Replace many of the last references to readmes
|
2018-03-16 12:43:22 -05:00 |
|
lexical_region_resolve
|
Replace many of the last references to readmes
|
2018-03-16 12:43:22 -05:00 |
|
outlives
|
import trait engine to typeck
|
2018-03-23 09:22:07 +08:00 |
|
region_constraints
|
Revert "change skolemizations to use universe index"
|
2018-03-23 13:18:50 -06:00 |
|
at.rs
|
introduce infcx.at(..).normalize(..) operation [VIC]
|
2018-03-13 11:22:05 -04:00 |
|
canonical.rs
|
Make PerfStats thread-safe and remove unused fields
|
2018-04-10 14:40:25 +02:00 |
|
combine.rs
|
Revert "add universes to type inference variables"
|
2018-03-23 13:19:24 -06:00 |
|
equate.rs
|
make the region_constraints field an Option
|
2017-11-16 05:57:43 -05:00 |
|
freshen.rs
|
add canonicalize method to InferCtxt [VIC]
|
2018-03-13 11:21:31 -04:00 |
|
fudge.rs
|
Revert "add universes to type inference variables"
|
2018-03-23 13:19:24 -06:00 |
|
glb.rs
|
issue better error message when LUB/GLB diverge under new behavior
|
2017-11-17 10:32:15 -05:00 |
|
lattice.rs
|
Revert "add universes to type inference variables"
|
2018-03-23 13:19:24 -06:00 |
|
lub.rs
|
issue better error message when LUB/GLB diverge under new behavior
|
2017-11-17 10:32:15 -05:00 |
|
mod.rs
|
Make use of thread-safe arenas
|
2018-04-15 20:53:19 +02:00 |
|
resolve.rs
|
remove defaulting to unit
|
2018-03-14 12:44:51 +08:00 |
|
sub.rs
|
make the region_constraints field an Option
|
2017-11-16 05:57:43 -05:00 |
|
type_variable.rs
|
Use InternedString instead of Symbol for type parameters.
|
2018-04-06 10:32:31 +02:00 |
|
unify_key.rs
|
obtain UnificationTable and snapshot_vec from ena instead
|
2018-03-01 08:04:26 -07:00 |
