about summary refs log tree commit diff
path: root/src/librustc/middle/traits
AgeCommit message (Expand)AuthorLines
2016-03-27rustc: move cfg, infer, traits and ty from middle to top-level.Eduard Burtescu-8933/+0
2016-03-27rustc: move middle::subst into middle::ty.Eduard Burtescu-7/+7
2016-03-25Drive-by fix for unnecessary `&mut`Niko Matsakis-1/+1
2016-03-24remove ErasedRegions from substitutionsNiko Matsakis-8/+0
2016-03-22fix alignmentJorge Aparicio-8/+8
2016-03-22try! -> ?Jorge Aparicio-26/+26
2016-03-14Fixes after rebaseAaron Turon-11/+15
2016-03-14Introduce ICE when the topmost projection restriction kicks in, as per issue ...Aaron Turon-4/+29
2016-03-14Test fixes, added README for testsAaron Turon-5/+12
2016-03-14Fixes after a rebaseAaron Turon-11/+10
2016-03-14Address review commentsAaron Turon-99/+72
2016-03-14Move projection_mode to InferContext rather than SelectionContext to reduce c...Aaron Turon-140/+109
2016-03-14Forbid cross-polarity specializationsAaron Turon-0/+6
2016-03-14Add some debugging output for specialization graph assemblyAaron Turon-0/+9
2016-03-14Refactor core specialization and subst translation code to avoidAaron Turon-170/+145
2016-03-14Add more commentary for subst translationAaron Turon-3/+29
2016-03-14Move specialization graph walks to iterators; make associated typeAaron Turon-519/+863
2016-03-14Address basic nits from initial reviewAaron Turon-8/+9
2016-03-14Assorted fixed after rebasingAaron Turon-2/+1
2016-03-14Add some basic comments about how specialization fits into the rest of the tr...Aaron Turon-0/+43
2016-03-14Add feature gateAaron Turon-0/+10
2016-03-14Implement default associated type inheritance.Aaron Turon-31/+43
2016-03-14Check for proper use of `default` keyword in specializing impls.Aaron Turon-1/+22
2016-03-14Implement default method inheritance.Aaron Turon-39/+224
2016-03-14Initial incorporation of specialization:Aaron Turon-41/+80
2016-03-14Add specialization module.Aaron Turon-0/+232
2016-03-14Refactor `impl_trait_ref_and_oblig`, making it generally available as a utilityAaron Turon-4/+36
2016-03-14Fix existing comment typo.Aaron Turon-2/+1
2016-03-11Forbid items with the same name being defined in overlapping inherentAaron Turon-12/+9
2016-03-11Introduce `ImplHeader`Aaron Turon-66/+24
2016-03-09trans: Reify functions & methods to fn ptrs only where necessary.Eduard Burtescu-4/+5
2016-03-09Track fn type and lifetime parameters in TyFnDef.Eduard Burtescu-1/+1
2016-03-09Split TyBareFn into TyFnDef and TyFnPtr.Eli Friedman-4/+16
2016-03-03Rename middle::ty::ctxt to TyCtxtJeffrey Seyfried-48/+48
2016-02-15use stalled_on in all obligation typesAriel Ben-Yehuda-12/+31
2016-02-13Auto merge of #31588 - soltanmm:layer, r=nikomatsakisbors-6/+6
2016-02-12Autoderef in librustcJonas Schievink-3/+3
2016-02-11[breaking-change] don't glob import/export syntax::abi enum variantsOliver Schneider-2/+2
2016-02-10Update some debug loggingMasood Malekghassemi-6/+6
2016-02-01Use the per-tree state to detect and permit DAGs (but not cyclic graphs)Niko Matsakis-41/+80
2016-02-01Add a notion of "per-tree" stateNiko Matsakis-18/+46
2016-01-21Revamp the fulfillment cache tracking to only cache trait-refs, whichNiko Matsakis-28/+64
2016-01-19remove the `SimplifiedType` from the `DepNode` for now, just to keepNiko Matsakis-11/+3
2016-01-17add fixme number into codeNiko Matsakis-1/+1
2016-01-16Document `ObligationForest` better.Niko Matsakis-1/+1
2016-01-16Pacify tidy.Niko Matsakis-1/+2
2016-01-16Implement a hacky version of the DAG support we ultimately want, leavingNiko Matsakis-6/+52
2016-01-16Detect cycles and specialize error reporting for Sized. It is importantNiko Matsakis-7/+187
2016-01-16Permit coinductive match only for purely OIBIT backtraces.Niko Matsakis-11/+38
2016-01-16Fix bug in new stall checking code, it should consider integer variablesNiko Matsakis-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 14:01:28 +0000