summary refs log tree commit diff
path: root/src/librustc/traits/project.rs
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-24Instantiate all bound vars universallyscalexm-1/+1
2018-11-24Rename some occurences of `skol` to `placeholder`scalexm-2/+2
2018-11-10Auto merge of #55717 - oli-obk:rustdoc_overflow, r=pnkfelixbors-1/+1
2018-11-07Rollup merge of #55734 - teresy:shorthand-fields, r=davidtwcokennytm-1/+1
2018-11-06refactor: use shorthand fieldsteresy-1/+1
2018-11-06Bubble up an overflow error so that rustdoc can ignore itOliver Scherer-1/+1
2018-11-03Auto merge of #55101 - alexreg:trait-aliases, r=nikomatsakisbors-7/+6
2018-11-03Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`scalexm-1/+1
2018-11-03Shift both late bound regions and bound typesscalexm-2/+2
2018-11-03Added support for trait aliases as bounds.Alexander Regueiro-7/+6
2018-10-26Remove redundant cloneShotaro Yamada-1/+1
2018-10-23Remove redundant cloneShotaro Yamada-1/+1
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-6/+1
2018-10-04s/skol_predicate/placeholder_predicateNiko Matsakis-2/+2
2018-10-04rename skolemized to placeholderNiko Matsakis-10/+10
2018-09-18A few cleanups and minor improvements to rustc/traitsljedrz-46/+36
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-3/+3
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-9/+9
2018-08-12Rollup merge of #53223 - ljedrz:cleanup_data_structures, r=oli-obkGuillaume Gomez-3/+3
2018-08-10Consider changing assert! to debug_assert! when it calls visit_withljedrz-1/+1
2018-08-09Make SnapshotMap::{commit, rollback_to} take referencesljedrz-3/+3
2018-07-25Fix associated existentials for generic traitsOliver Schneider-1/+2
2018-07-23Implement associated existential typesOliver Schneider-3/+9
2018-06-28Rollup merge of #51636 - oli-obk:const_diagnostics, r=eddybMark Rousskov-2/+2
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-2/+2
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-1/+1
2018-06-28Use `Ident`s for associated item definitions in HIRVadim Petrochenkov-7/+6
2018-06-28Use `Ident`s for associated type bindings in HIRVadim Petrochenkov-2/+3
2018-06-02Fix typos of 'ambiguous'Jon Purdy-4/+4
2018-05-31change `PointerKind::Implicit` to a noteNiko Matsakis-6/+25
2018-05-17Rollup merge of #50818 - nnethercote:faster-normalize, r=nikomatsakisMark Simulacrum-55/+90
2018-05-17Rename trans to codegen everywhere.Irina Popa-3/+3
2018-05-17Avoid allocations in `opt_normalize_projection_type`.Nicholas Nethercote-54/+72
2018-05-17Avoid repeated HashMap lookups in `opt_normalize_projection_type`.Nicholas Nethercote-1/+18
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker-1/+1
2018-05-02track skol levels in the InferCtxt rather than via counterSean Griffin-1/+1
2018-04-30make needs_infer specific to inference variablesNiko Matsakis-1/+1
2018-04-26improved debug outputNiko Matsakis-2/+8
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-35/+34
2018-04-10Make recursion_limit and type_length_limit thread-safeJohn Kåre Alsaker-3/+3
2018-03-23Revert "add universes to type inference variables"Sean Griffin-2/+0
2018-03-08Prepare for using miri in transAlexander Regueiro-16/+24
2018-03-01add universes to type inference variablesNiko Matsakis-0/+2
2018-02-27Bring back ParamEnv deduplicationTatsuyuki Ishi-2/+5
2018-02-24Rollup merge of #48296 - ishitatsuyuki:exp-unblow, r=nikomatsakisManish Goregaokar-109/+112
2018-02-22Fix exponential blowup on nested typesTatsuyuki Ishi-98/+111
2018-02-22Remove needless dedup from projectionTatsuyuki Ishi-10/+0