about summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2018-11-25Auto merge of #55906 - nnethercote:rm-OpenSnapshot-CommittedSnapshot, r=nikom...bors-9/+5
2018-11-25Make `commit` and `rollback_to` methods take ownership of the snapshots.Nicholas Nethercote-3/+3
2018-11-25Remove `insert_noop`.Nicholas Nethercote-6/+2
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-4/+4
2018-11-24Instantiate all bound vars universallyscalexm-6/+6
2018-11-24Rename some occurences of `skol` to `placeholder`scalexm-3/+3
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-2/+6
2018-11-22Rollup merge of #55980 - csmoe:issue-55891, r=estebankGuillaume Gomez-1/+15
2018-11-19Rollup merge of #56027 - Xanewok:docs-backtick, r=QuietMisdreavusPietro Albini-1/+1
2018-11-17docs: Add missing backtick in object_safety.rs docsIgor Matuszewski-1/+1
2018-11-17reserve whitespaces between prefix and pipecsmoe-1/+1
2018-11-16improve debug output related to bound calculationNiko Matsakis-1/+6
2018-11-15lint based on closure pipe spancsmoe-1/+15
2018-11-15Auto merge of #55974 - pietroalbini:rollup, r=pietroalbinibors-4/+5
2018-11-15Rollup merge of #55901 - euclio:speling, r=petrochenkovPietro Albini-1/+1
2018-11-15Rollup merge of #55778 - nnethercote:LrcPreds, r=eddybPietro Albini-3/+4
2018-11-15Auto merge of #54906 - qnighy:fix-issue-50452, r=nikomatsakisbors-8/+19
2018-11-14Wrap some query results in `Lrc`.Nicholas Nethercote-3/+4
2018-11-13fix various typos in doc commentsAndy Russell-1/+1
2018-11-13Auto merge of #55356 - Aaron1011:fix/rustdoc-negative-auto, r=nikomatsakisbors-1/+16
2018-11-13Instantiate all bound vars existentiallyscalexm-2/+3
2018-11-13Reorder code in `rustc::traits::structural_impls`scalexm-340/+340
2018-11-13Bypass ppaux for `Outlives` predicatesscalexm-4/+34
2018-11-13Pretty print quantified goals and clausesscalexm-5/+144
2018-11-12Avoid the Box in `TyCtxt::associated_items`.Niko Matsakis-1/+1
2018-11-11Rollup merge of #55745 - nnethercote:outlives_components-SmallVec, r=matthewj...Pietro Albini-1/+3
2018-11-11Rollup merge of #55687 - alexreg:fix-24010, r=scalexmPietro Albini-6/+3
2018-11-10Auto merge of #55717 - oli-obk:rustdoc_overflow, r=pnkfelixbors-1/+1
2018-11-08Rollup merge of #55736 - estebank:elide-anon-lt, r=petrochenkovMark Rousskov-1/+4
2018-11-08Fix typo in commentvarkor-1/+1
2018-11-08Use `SmallVec` outparams in several functions.Nicholas Nethercote-1/+3
2018-11-07Added error for duplicate bindings of associated type.Alexander Regueiro-5/+2
2018-11-07Look at projections from supertraits when constructing trait objects.Alexander Regueiro-1/+1
2018-11-07Rollup merge of #55734 - teresy:shorthand-fields, r=davidtwcokennytm-2/+2
2018-11-07Rollup merge of #55501 - nnethercote:DoCompleted, r=pnkfelixkennytm-3/+4
2018-11-07Rollup merge of #55453 - Aaron1011:fix/rustdoc-lifetime, r=pnkfelixkennytm-9/+33
2018-11-06Elide anon lifetimes in conflicting impl noteEsteban Küber-1/+4
2018-11-06refactor: use shorthand fieldsteresy-2/+2
2018-11-06Bubble up an overflow error so that rustdoc can ignore itOliver Scherer-1/+1
2018-11-04rustc_target: pass contexts by reference, not value.Eduard-Mihai Burtescu-1/+1
2018-11-03Auto merge of #55101 - alexreg:trait-aliases, r=nikomatsakisbors-60/+175
2018-11-03Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`scalexm-11/+11
2018-11-03Shift both late bound regions and bound typesscalexm-13/+13
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-5/+6
2018-11-03Extended elaboration for trait aliases to include arbitrary bounds.Alexander Regueiro-6/+6
2018-11-03Added support for trait aliases as bounds.Alexander Regueiro-57/+172
2018-11-03Auto merge of #54383 - mikeyhew:custom-receivers-object-safety, r=nikomatsakisbors-35/+263
2018-11-02Auto merge of #55305 - nikomatsakis:universes-refactor-3, r=scalexmbors-31/+25
2018-11-01Remove this check for object-safety during selection of trait object candidatesMichael Hewson-11/+0
2018-11-01add `U: Trait` to the param env during DispatchFromDyn checkMichael Hewson-27/+40