ljedrz 5058af7003 Deny bare trait objects in the rest of rust

2018-07-12 13:50:22 +02:00

..

Cargo.toml

implement the chalk traits, albeit with many placeholders

2018-05-24 12:01:27 -04:00

chalk_context.rs

remove Canonicalization trait, which serves no purpose

2018-06-26 10:59:38 -04:00

dropck_outlives.rs

change the enter_canonical_trait_query method to give a fulfill cx

2018-06-27 16:04:32 -04:00

evaluate_obligation.rs

move into provide methods

2018-06-27 09:42:21 -04:00

lib.rs

Deny bare trait objects in the rest of rust

2018-07-12 13:50:22 +02:00

lowering.rs

Change wording

2018-07-09 21:20:26 +02:00

normalize_erasing_regions.rs

move into provide methods

2018-06-27 09:42:21 -04:00

normalize_projection_ty.rs

change the enter_canonical_trait_query method to give a fulfill cx

2018-06-27 16:04:32 -04:00

type_op.rs

rustfmt various files

2018-06-27 16:30:38 -04:00