rust/src/librustc_typeck
2018-10-04 11:02:40 -04:00
..
check rename skolemized to placeholder 2018-10-04 11:02:40 -04:00
coherence A few cleanups and minor improvements to typeck 2018-09-29 11:13:00 +02:00
outlives rename skolemized to placeholder 2018-10-04 11:02:40 -04:00
variance rename skolemized to placeholder 2018-10-04 11:02:40 -04:00
astconv.rs A few cleanups and minor improvements to typeck 2018-09-29 11:13:00 +02:00
Cargo.toml Remove AccumulateVec and its uses. 2018-08-29 08:32:11 +10:00
check_unused.rs Rollup merge of #54488 - zackmdavis:and_the_case_of_the_unused_crate, r=estebank 2018-10-01 16:12:56 +08:00
collect.rs Remove duplicate predicates in explicit_predicates_of 2018-10-03 13:57:47 +02:00
constrained_type_params.rs A few cleanups and minor improvements to typeck 2018-09-29 11:13:00 +02:00
diagnostics.rs Improve error checking and reporting 2018-09-19 22:31:30 -07:00
impl_wf_check.rs A few cleanups and minor improvements to typeck 2018-09-29 11:13:00 +02:00
lib.rs Auto merge of #54601 - cuviper:prep-1.31, r=Mark-Simulacrum 2018-09-30 01:45:50 +00:00
namespace.rs Implement existential types 2018-07-18 10:53:08 +02:00
README.md Move librustc_typeck READMEs to rustc guide 2018-03-12 20:05:18 -05:00
structured_errors.rs call span_suggestion with applicability 2018-08-25 23:28:26 -05:00

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