user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/src/librustc_typeck
History
Ryan1729 ef2916170b make parts of rustc_typeck public
2020-08-06 04:24:24 -06:00
..
check make parts of rustc_typeck public 2020-08-06 04:24:24 -06:00
coherence split ignore_qualifiers 2020-07-27 21:06:36 +02:00
collect Rename TypeckTables to TypeckResults. 2020-07-17 08:47:04 +00:00
impl_wf_check introduce PredicateAtom 2020-07-27 21:07:37 +02:00
outlives directly contain PredicateAtom in PredicateKind::ForAll 2020-07-27 21:08:14 +02:00
variance Added in explicit check for the type being matched 2020-07-31 21:33:55 +00:00
astconv.rs introduce PredicateAtom 2020-07-27 21:07:37 +02:00
Cargo.toml Move from log to tracing 2020-07-31 22:38:20 +02:00
check_unused.rs typeck: Use LocalDefIds for the unused trait import set 2020-06-15 21:06:13 +03:00
collect.rs Cache non-exhaustive separately from attributes 2020-07-28 16:26:38 -04:00
constrained_generic_params.rs introduce PredicateAtom 2020-07-27 21:07:37 +02:00
expr_use_visitor.rs Rollup merge of #74424 - sexxi-goose:move_hir_place, r=nikomatsakis 2020-07-17 14:09:26 -07:00
impl_wf_check.rs Use for<'tcx> fn pointers in Providers, instead of having Providers<'tcx>. 2020-07-05 23:00:14 +03:00
lib.rs make parts of rustc_typeck public 2020-08-06 04:24:24 -06:00
mem_categorization.rs Rollup merge of #74424 - sexxi-goose:move_hir_place, r=nikomatsakis 2020-07-17 14:09:26 -07:00
README.md rust-lang.github.io/rustc-dev-guide -> rustc-dev-guide.rust-lang.org 2020-03-10 17:08:18 -03:00
structured_errors.rs rustc -> rustc_middle part 3 (rustfmt) 2020-03-30 07:19:55 +02:00

README.md

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