Oliver Scherer cea282bcfd Make mk_eval_cx private to const eval

2019-01-08 10:54:40 +01:00

..

borrow_check

Auto merge of #56507 - nikomatsakis:polonius-integrate, r=MatthewJasper

2019-01-03 12:42:16 +00:00

build

Stop duplicating projections of type annotation.

2018-12-30 14:30:59 +01:00

dataflow

Remove licenses

2018-12-25 21:08:33 -07:00

hair

Stop duplicating projections of type annotation.

2018-12-30 14:30:59 +01:00

interpret

Add missing 'static bound for the Machine trait

2019-01-02 21:28:08 +00:00

monomorphize

Remove licenses

2018-12-25 21:08:33 -07:00

transform

Refactor UserTypeAnnotation.

2018-12-30 14:25:20 +01:00

util

Add user type annotations to MIR dump.

2018-12-30 14:30:58 +01:00

Cargo.toml

adopt polonius-engine 0.6.2

2019-01-02 14:45:30 -05:00

const_eval.rs

Make mk_eval_cx private to const eval

2019-01-08 10:54:40 +01:00

diagnostics.rs

Remove licenses

2018-12-25 21:08:33 -07:00

lib.rs

Remove licenses

2018-12-25 21:08:33 -07:00

lints.rs

Remove licenses

2018-12-25 21:08:33 -07:00

shim.rs

Refactor UserTypeAnnotation.

2018-12-30 14:25:20 +01:00