rust/src/librustc_typeck at master · jespersm/rust

Name		Name	Last commit message	Last commit date
parent directory ..
check		check
coherence		coherence
outlives		outlives
variance		variance
Cargo.toml		Cargo.toml
README.md		README.md
astconv.rs		astconv.rs
check_unused.rs		check_unused.rs
collect.rs		collect.rs
constrained_generic_params.rs		constrained_generic_params.rs
error_codes.rs		error_codes.rs
impl_wf_check.rs		impl_wf_check.rs
lib.rs		lib.rs
namespace.rs		namespace.rs
structured_errors.rs		structured_errors.rs

README.md

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