summary refs log tree commit diff
path: root/src/librustc/traits/select.rs
AgeCommit message (Expand)AuthorLines
2019-02-22partially revert 904a0bde93f0348f69914ee90b1f8b6e4e0d7cbcNiko Matsakis-1/+19
2019-02-22introduce a dummy leak check and invoke it in all the right placesNiko Matsakis-12/+34
2019-02-22s/skol_/placeholder_/Niko Matsakis-10/+10
2019-01-04implement a hack to make traitobject 0.1.0 compileAriel Ben-Yehuda-1/+2
2019-01-04Revert "add coherence future-compat warnings for marker-only trait objects"Ariel Ben-Yehuda-10/+2
2019-01-04add support for principal-less trait object typesAriel Ben-Yehuda-6/+15
2019-01-02track if any region constraints involved placeholdersNiko Matsakis-4/+3
2019-01-02universe transitionNiko Matsakis-89/+33
2019-01-02select.rs: unsizing coercion should use a subtypeNiko Matsakis-2/+2
2019-01-02introduce ability to detect region constraints from snapshotNiko Matsakis-8/+22
2019-01-02make evaluation track whether outlives relationships matteredNiko Matsakis-91/+32
2019-01-02remove wrapper functions that had no purposeNiko Matsakis-56/+37
2019-01-02remove `commit_if_ok` wrapperNiko Matsakis-10/+1
2018-12-27Use `TraitEngine` in `enter_canonical_trait_query`scalexm-5/+8
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-14add coherence future-compat warnings for marker-only trait objectsAriel Ben-Yehuda-2/+10
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-16/+16
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 19:42:42 +0000