bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity
rust/compiler/rustc_typeck
History
Tyler Mandry ac85a4d71e
Rollup merge of #76559 - lcnr:const-evaluatable, r=oli-obk 
add the `const_evaluatable_checked` feature

Implements a rather small subset of https://github.com/rust-lang/compiler-team/issues/340

Unlike the MCP, this does not try to compare different constant, but instead only adds the constants found in where clauses
to the predicates of a function. This PR adds the feature gate `const_evaluatable_checked`, without which nothing should change.

r? @oli-obk @eddyb
2020-09-10 12:20:07 -07:00
..
src Rollup merge of #76559 - lcnr:const-evaluatable, r=oli-obk 2020-09-10 12:20:07 -07:00
Cargo.toml Replace some trivial struct_span_err!s in typeck. 2020-09-01 23:05:56 +10:00
README.md mv compiler to compiler/ 2020-08-30 18:45:07 +03:00

README.md

For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.