summary refs log tree commit diff
path: root/src/librustc/traits/select.rs
AgeCommit message (Expand)AuthorLines
2018-11-26rustc-guide has movedMark Mansi-3/+3
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-3/+3
2018-11-24Instantiate all bound vars universallyscalexm-5/+5
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+3
2018-11-07Rollup merge of #55734 - teresy:shorthand-fields, r=davidtwcokennytm-1/+1
2018-11-06refactor: use shorthand fieldsteresy-1/+1
2018-11-03Auto merge of #55101 - alexreg:trait-aliases, r=nikomatsakisbors-37/+107
2018-11-03Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`scalexm-2/+2
2018-11-03Shift both late bound regions and bound typesscalexm-8/+8
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-3/+3
2018-11-03Extended elaboration for trait aliases to include arbitrary bounds.Alexander Regueiro-5/+5
2018-11-03Added support for trait aliases as bounds.Alexander Regueiro-35/+105
2018-11-03Auto merge of #54383 - mikeyhew:custom-receivers-object-safety, r=nikomatsakisbors-12/+0
2018-11-01Remove this check for object-safety during selection of trait object candidatesMichael Hewson-11/+0
2018-11-01move some code around to avoid query cyclesMichael Hewson-12/+11
2018-10-27select.rs: rustfmtNiko Matsakis-7/+9
2018-10-27apply minimum bounds when checking closure signatureNiko Matsakis-0/+6
2018-10-26Rollup merge of #55258 - Aaron1011:fix/rustdoc-blanket, r=GuillaumeGomezkennytm-0/+35
2018-10-22Fix Rustdoc ICE when checking blanket implsAaron Hill-0/+35
2018-10-20Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant typeFabian Drinck-3/+3
2018-10-19Free some memory instead of just dropping elementsOliver Scherer-2/+4
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-16/+4
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-5/+5
2018-10-16Auto merge of #55067 - ljedrz:generic_iterator_related_improvements, r=petroc...bors-7/+4
2018-10-14create only one vector when winnowing candidatesljedrz-7/+4
2018-10-13Check the invariant for `principal` inside the methodOliver Scherer-19/+8
2018-10-04remove occurences of `skolemization`Niko Matsakis-4/+3
2018-10-04remove all occurences of `skolemize`Niko Matsakis-1/+1
2018-10-04extend NLL universe code to have >1 placeholder within one universeNiko Matsakis-4/+5
2018-10-04rename skolemized to placeholderNiko Matsakis-45/+50
2018-10-04select.rs: rustfmtNiko Matsakis-1107/+1347
2018-10-04Rollup merge of #54789 - scalexm:unnormalized, r=nikomatsakisPietro Albini-0/+3
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+3
2018-10-01add a special case for literal `'static: 'a` where-clausesAriel Ben-Yehuda-15/+31
2018-10-01handle outlives predicates in trait evaluationAriel Ben-Yehuda-4/+71
2018-09-30Auto merge of #53255 - orium:fix-bug-overflow-send, r=arielb1bors-9/+11
2018-09-30Typos and style fixes.Diogo Sousa-9/+11
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-8/+8
2018-09-28rustc: keep a Span for each predicate in ty::GenericPredicates.Eduard-Mihai Burtescu-1/+1
2018-09-26Auto merge of #54199 - nikomatsakis:predicate_may_hold-failure, r=eddybbors-1/+4
2018-09-22Rollup merge of #54370 - nnethercote:better-domain_size, r=nikomatsakisPietro Albini-2/+2
2018-09-20Rollup merge of #54295 - ljedrz:cleanups_rustc_traits, r=nikomatsakiskennytm-178/+163
2018-09-20Improve handling of type bounds in `bit_set.rs`.Nicholas Nethercote-2/+2
2018-09-18A few cleanups and minor improvements to rustc/traitsljedrz-178/+163
2018-09-18Merge indexed_set.rs into bitvec.rs, and rename it bit_set.rs.Nicholas Nethercote-2/+2
2018-09-13don't cache overflow results globallyNiko Matsakis-1/+4
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-5/+5
2018-08-23use String::new() instead of String::from(""), "".to_string(), "".to_owned() ...Matthias Krüger-2/+2
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-12/+12
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-9/+9