summary refs log tree commit diff
path: root/src/librustc/middle/ty/structural_impls.rs
AgeCommit message (Collapse)AuthorLines
2016-01-07Rename fold_subitems_with to super_fold_withJeffrey Seyfried-128/+128
2016-01-07Refactor away extension traits RegionEscape and HasTypeFlagsJeffrey Seyfried-2/+1
2016-01-07Create a visitor for `TypeFoldable`s and use it to implement RegionEscape ↵Jeffrey Seyfried-386/+352
and HasTypeFlags (fixes #20298)
2015-12-18Deprecate name `OwnedSlice` and don't use itVadim Petrochenkov-3/+3
2015-12-15Ensure borrows of fn/closure params do not outlive invocations.Felix S. Klock II-1/+1
resolve_lifetime.rs: Switch from BlockScope to FnScope in ScopeChain construction. Lifetimes introduced by a fn signature are scoped to the call-site for that fn. (Note `add_scope_and_walk_fn` must only add FnScope for the walk of body, *not* of the fn signature.) region.rs: Introduce new CodeExtentData::CallSiteScope variant. Use CodeExtentData as the cx.parent, rather than just a NodeId. Change DestructionScopeData to CallSiteScopeData. regionck.rs: Thread call_site_scope via Rcx; constrain fn return values. (update; incorporated review feedback from niko.)
2015-11-15simplify and reduce the size of EvaluationResultAriel Ben-Yehuda-0/+1
2015-10-02fix falloutAriel Ben-Yehuda-1/+3
looks like some mix of #18653 and `projection_must_outlive`, but that needs to be investigated further (crater run?)
2015-09-15deduplicate erase_regionsAriel Ben-Yehuda-0/+7
there is no need for 3 versions of the function
2015-09-14use RegionEscape instead of inherent has_escaping_regions fnsAriel Ben-Yehuda-0/+6
2015-09-14split ty::util and ty::adjustmentAriel Ben-Yehuda-2/+2
2015-09-14move traits structural impls to traits::structural_implsAriel Ben-Yehuda-82/+0
2015-09-14split ty.rs into smaller partsAriel Ben-Yehuda-0/+895