Manish Goregaokar 50cc08dd94 Rollup merge of #55203 - scalexm:program-clauses, r=nikomatsakis ...

Sometimes I just return `ty::List::empty()` because I cannot express these \"built-in\" clauses without bound tys support.

r? @nikomatsakis

2018-10-20 13:15:48 -07:00

..

lowering

Rollup merge of #55203 - scalexm:program-clauses, r=nikomatsakis

2018-10-20 13:15:48 -07:00

Cargo.toml

Pass around interned refs to goals and not goals

2018-10-08 12:55:18 +02:00

chalk_context.rs

Write an initial version of the program_clauses callback

2018-10-19 15:47:22 +02:00

dropck_outlives.rs

Deprecate the FxHashMap() and FxHashSet() constructor function hack

2018-10-19 14:34:44 +02:00

evaluate_obligation.rs

pacify the mercilous tidy with rustfmt

2018-10-15 11:42:07 -04:00

implied_outlives_bounds.rs

rename QueryResult to QueryResponse

2018-10-15 08:57:22 -04:00

lib.rs

Bump to 1.31.0 and bootstrap from 1.30 beta

2018-09-27 20:52:53 -07:00

normalize_erasing_regions.rs

…

normalize_projection_ty.rs

rename QueryResult to QueryResponse

2018-10-15 08:57:22 -04:00

type_op.rs

rename QueryResult to QueryResponse

2018-10-15 08:57:22 -04:00