about summary refs log tree commit diff
path: root/src/librustc/traits/select.rs
AgeCommit message (Expand)AuthorLines
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
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-85/+85
2018-08-15Auto merge of #53212 - sunjay:nll-raw-cast, r=nikomatsakisbors-1/+14
2018-08-10Consider changing assert! to debug_assert! when it calls visit_withljedrz-4/+4
2018-08-09Preferring BuiltInCandidate { has_nested: false } in all casesSunjay Varma-1/+14
2018-08-07Avoid unnecessary pattern matching against Option and Resultljedrz-2/+2
2018-08-01Split out growth functionality into BitVector typeMark Rousskov-2/+2
2018-07-02drive-by nits and debugNiko Matsakis-0/+5
2018-06-24Update broken rustc-guide linksAlex Kitchens-3/+3
2018-06-08Reenable trivial boundsMatthew Jasper-11/+61
2018-05-23Rollup merge of #50932 - nnethercote:seen-Predicates, r=eddybkennytm-3/+18