| .. |
|
anon_types
|
add universes to type inference variables
|
2018-03-01 08:04:26 -07:00 |
|
error_reporting
|
add canonicalize method to InferCtxt [VIC]
|
2018-03-13 11:21:31 -04:00 |
|
higher_ranked
|
store type values in the unification table directly
|
2018-03-01 08:04:26 -07:00 |
|
lexical_region_resolve
|
add canonicalize method to InferCtxt [VIC]
|
2018-03-13 11:21:31 -04:00 |
|
outlives
|
Add note about fallback to !: !Trait error
|
2018-03-14 12:44:52 +08:00 |
|
region_constraints
|
introduce infcx.at(..).normalize(..) operation [VIC]
|
2018-03-13 11:22:05 -04:00 |
|
at.rs
|
introduce infcx.at(..).normalize(..) operation [VIC]
|
2018-03-13 11:22:05 -04:00 |
|
canonical.rs
|
Fixes after rebase
|
2018-03-14 12:45:14 +08:00 |
|
combine.rs
|
add canonicalize method to InferCtxt [VIC]
|
2018-03-13 11:21:31 -04: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
|
add universes to type inference variables
|
2018-03-01 08:04:26 -07:00 |
|
glb.rs
|
issue better error message when LUB/GLB diverge under new behavior
|
2017-11-17 10:32:15 -05:00 |
|
lattice.rs
|
add universes to type inference variables
|
2018-03-01 08:04:26 -07:00 |
|
lub.rs
|
issue better error message when LUB/GLB diverge under new behavior
|
2017-11-17 10:32:15 -05:00 |
|
mod.rs
|
move drain_fulfillment_cx_or_panic to be private to traits::trans
|
2018-03-13 11:22:07 -04: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
|
Revert "correct subtle bug in the type variable code"
|
2018-03-02 06:52:12 -07:00 |
|
unify_key.rs
|
obtain UnificationTable and snapshot_vec from ena instead
|
2018-03-01 08:04:26 -07:00 |
