mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
rust/src/librustc_typeck
History
bors c8a9c340de Auto merge of #72962 - lcnr:ObligationCause-lrc, r=ecstatic-morse 
store `ObligationCause` on the heap

Stores `ObligationCause` on the heap using an `Rc`.

This PR trades off some transient memory allocations to reduce the size of–and thus the number of instructions required to memcpy–a few widely used data structures in trait solving.
2020-06-16 06:22:52 +00:00
..
check
Auto merge of #72962 - lcnr:ObligationCause-lrc, r=ecstatic-morse
2020-06-16 06:22:52 +00:00
coherence
Remove dead ScopeTree code
2020-05-22 18:03:08 +01:00
collect
Document some opaque types code
2020-06-11 17:08:23 +01:00
impl_wf_check
change WellFormed predicate to GenericArg
2020-06-02 15:02:36 +02:00
outlives
change WellFormed predicate to GenericArg
2020-06-02 15:02:36 +02:00
variance
Rename the crates in source code
2020-06-02 20:42:54 +03:00
astconv.rs
Allow all impl trait types to capture bound lifetimes
2020-06-11 17:08:23 +01:00
Cargo.toml
Rename the crates in source code
2020-06-02 20:42:54 +03:00
check_unused.rs
Store LocalDefId directly in rustc_resolve::Resolver where possible
2020-05-27 15:55:35 +01:00
collect.rs
Rename TyKind::Def to OpaqueDef
2020-06-11 17:08:23 +01:00
constrained_generic_params.rs
introduce newtype'd Predicate<'tcx>
2020-05-20 15:44:34 +02:00
expr_use_visitor.rs
Track span of function in method calls, and use this in #[track_caller]
2020-06-10 17:30:11 -04:00
impl_wf_check.rs
Remove associated opaque types
2020-06-11 16:24:01 +01:00
lib.rs
…
mem_categorization.rs
librustc_middle: Rename upvars query to upvars_mentioned
2020-05-24 14:36:39 -04:00
README.md
…
structured_errors.rs
…

README.md

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