about summary refs log tree commit diff
path: root/src/librustc/ich
AgeCommit message (Expand)AuthorLines
2018-10-29Emit Retag statements, kill Validate statementsRalf Jung-20/+3
2018-10-28remove some unused CTFE error variantsRalf Jung-42/+0
2018-10-27Auto merge of #54183 - qnighy:by-value-object-safety, r=oli-obkbors-0/+3
2018-10-27extend query response to potentially contain fresh universesNiko Matsakis-0/+1
2018-10-27allow canonicalized regions to carry universe and track max-universeNiko Matsakis-2/+2
2018-10-26Add the actual chain of projections to `UserTypeProjection`.Felix S. Klock II-1/+1
2018-10-26Checkpoint: Added abstraction over collection of projections into user type.Felix S. Klock II-0/+1
2018-10-26Added `mir::UserTypeProjection`, a stub for a structure that projects *into* ...Felix S. Klock II-0/+2
2018-10-26Auto merge of #53821 - oli-obk:sanity_query, r=RalfJungbors-8/+4
2018-10-26dump refs for path segments in save-analysisNick Cameron-0/+1
2018-10-26Store a resolved def on hir::PathSegmentNick Cameron-0/+1
2018-10-25Don't extend `hir::Def` when there's already a dedicated "function-like" dete...Oliver Schneider-1/+0
2018-10-25Report const eval error inside the queryOliver Schneider-8/+5
2018-10-24Add InstanceDef::VtableShim.Masaki Hara-0/+3
2018-10-23Remove redundant cloneShotaro Yamada-1/+1
2018-10-21Auto merge of #52984 - fabric-and-ink:remove-canonical-var, r=scalexmbors-2/+2
2018-10-20Use more accurate `ConstraintCategory`sMatthew Jasper-0/+2
2018-10-20Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant typeFabian Drinck-1/+1
2018-10-20Rename CanonicalVar to BoundTyIndexFabian Drinck-1/+1
2018-10-20Auto merge of #55114 - oli-obk:fx#map, r=nikomatsakisbors-2/+2
2018-10-19Auto merge of #55162 - nikomatsakis:issue-54902-underscore-bound, r=tmandrybors-4/+8
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-2/+2
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-2/+2
2018-10-19replace `UserTypeAnnotation::AdtDef` with `TypeOf`Niko Matsakis-4/+0
2018-10-19convert `FnDef` to `TypeOf`, which is more generalNiko Matsakis-1/+1
2018-10-17move E0637 to lowering and improve output, add more testsNiko Matsakis-4/+8
2018-10-17Re-use memory in `program_clauses_for_env`scalexm-3/+0
2018-10-17Categorize chalk clausesscalexm-1/+7
2018-10-17Use `Environment` instead of `ty::ParamEnv` in chalk contextscalexm-0/+8
2018-10-15introduce a more expressive `UserSubsts`Niko Matsakis-0/+5
2018-10-15introduce `FnDef` and `AdtDef` to `UserTypeAnnotation`Niko Matsakis-0/+8
2018-10-15introduce a `UserTypeAnnotation` enumNiko Matsakis-0/+13
2018-10-15rename `QueryResult` to `QueryResponse`Niko Matsakis-1/+1
2018-10-13Auto merge of #54945 - estebank:asm-span, r=petrochenkovbors-1/+2
2018-10-10Rollup merge of #54909 - scalexm:finish-rules, r=nikomatsakisManish Goregaokar-1/+1
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-23/+33
2018-10-09Point to variable in `asm!` macro when failing borrowckEsteban Küber-1/+2
2018-10-09Auto merge of #54762 - RalfJung:miri-validate, r=oli-obkbors-0/+4
2018-10-09miri engine: also check return type before calling functionRalf Jung-0/+4
2018-10-09Auto merge of #54798 - matthewjasper:free-region-closure-errors, r=nikomatsakisbors-1/+17
2018-10-08Pass around interned refs to goals and not goalsscalexm-1/+1
2018-10-07Auto merge of #54782 - pnkfelix:issue-54556-semi-on-tail-diagnostic, r=nikoma...bors-0/+1
2018-10-06Move ConstraintCategory to rustc::mirMatthew Jasper-1/+17
2018-10-05Auto merge of #54741 - oli-obk:impl_trait_hierarchy, r=cramertjbors-0/+1
2018-10-05Add flag to `mir::LocalDecl` to track whether its a temp from some subexpr a ...Felix S. Klock II-0/+1
2018-10-05resolve: Integrate inert attributes registererd by legacy plugins into macro ...Vadim Petrochenkov-0/+1
2018-10-04Auto merge of #54649 - nikomatsakis:universes-refactor-1, r=scalexmbors-1/+1
2018-10-04Auto merge of #54666 - matthewjasper:mir-function-spans, r=pnkfelixbors-1/+3
2018-10-04rename skolemized to placeholderNiko Matsakis-1/+1
2018-10-04Rollup merge of #54789 - scalexm:unnormalized, r=nikomatsakisPietro Albini-2/+2