about summary refs log tree commit diff
path: root/src/librustc/middle/traits/util.rs
AgeCommit message (Expand)AuthorLines
2015-02-05cleanup: replace `as[_mut]_slice()` calls with deref coercionsJorge Aparicio-1/+1
2015-02-05When elaborating predicates, purge duplicates from the initial vector.Niko Matsakis-8/+5
2015-02-02`for x in xs.iter()` -> `for x in &xs`Jorge Aparicio-1/+1
2015-01-28Fix a latent bug in trait dispatch where we sometimes counted associated typesNiko Matsakis-32/+41
2015-01-28Move return type an associated type of the `Fn*` traits. Mostly this involves...Niko Matsakis-0/+30
2015-01-26Remove "unboxed" attribute in code referring to new closures.Eduard Burtescu-2/+2
2015-01-20std: Rename Show/String to Debug/DisplayAlex Crichton-4/+4
2015-01-12Normalize bounds that we extract from where clauses. Fixes #20765.Niko Matsakis-2/+3
2015-01-06core: split into fmt::Show and fmt::StringSean McArthur-3/+3
2015-01-05update comment to reflect new `Sized` semanticsJorge Aparicio-2/+2
2015-01-05undo one `for Sized?` removal that was in a commentJorge Aparicio-1/+1
2015-01-05sed -i -s 's/ for Sized?//g' **/*.rsJorge Aparicio-1/+1
2015-01-03sed -i -s 's/\bmod,/self,/g' **/*.rsJorge Aparicio-1/+1
2015-01-03rustc: fix falloutJorge Aparicio-2/+6
2015-01-02Ensure that, for every trait `Foo`, the predicate `Foo : Foo` holds.Niko Matsakis-0/+17
2015-01-02Move the `upcast` routine into traits and use it for method selection; alsoNiko Matsakis-0/+52
2014-12-30Address nits.Niko Matsakis-2/+9
2014-12-30Remove the AssocSpaceNiko Matsakis-13/+2
2014-12-30Make projected types select out of the trait bounds.Niko Matsakis-40/+9
2014-12-30Implement associated type projection and normalization.Niko Matsakis-30/+32
2014-12-30Rename `trait_ref` field to `predicate`, since `trait_ref` is reallyNiko Matsakis-4/+10
2014-12-29Store Substs in an arena in the tcx.Huon Wilson-2/+1
2014-12-26Require types to opt-in SyncFlavio Percoco-1/+1
2014-12-19Centralize on using `Binder` to introduce new binding levels, rather than hav...Niko Matsakis-1/+1
2014-12-19Create distinct types for a PolyTraitRef (with bindings) and a normal TraitRef.Niko Matsakis-17/+17
2014-12-13librustc: use unboxed closuresJorge Aparicio-4/+5
2014-12-12Improve comments and address nits.Niko Matsakis-1/+14
2014-12-12Switch to using predicates to drive checking. Correct various tests --Niko Matsakis-136/+151
2014-12-12Write code for registering region obligations (but don't use it yet).Niko Matsakis-13/+13
2014-12-12Start restructuring to support generalized where clauses etc.Niko Matsakis-5/+5
2014-12-12Mostly non-behaviour-changing changes (style, etc.)Nick Cameron-1/+1
2014-12-12Add support for equality constraints on associated typesNick Cameron-2/+13
2014-12-04Move infer out of `middle::typeck` and into just `middle`.Niko Matsakis-1/+1
2014-12-04Implement the `Fn` trait for bare fn pointers in the compiler rather than doi...Niko Matsakis-0/+4
2014-11-29Replace some verbose match statements with their `if let` equivalent.jfager-4/+2
2014-11-26More test fixes and rebase conflicts!Alex Crichton-12/+13
2014-11-26/*! -> //!Steve Klabnik-31/+18
2014-11-19Refactor QPath to take an ast::TraitRefNiko Matsakis-1/+2
2014-11-19rustc: fix fallout of adding the `'tcx` lifetime to `Ty`.Eduard Burtescu-59/+59
2014-11-19rustc: middle: rename `ty::t` to `Ty` and use it unqualified everywhere.Eduard Burtescu-5/+5
2014-11-18Allow impl's to have late-bound regions. Introduces another level ofNiko Matsakis-15/+13
2014-11-17Fix fallout from coercion removalNick Cameron-1/+1
2014-11-06Fix handling of unboxed closure type param substitutionsBrian Koropoff-3/+4
2014-10-19Remove a large amount of deprecated functionalityAlex Crichton-3/+2
2014-10-09Implement multidispatch and conditional dispatch. Because we do notNiko Matsakis-5/+12
2014-09-30Emit an error rather than ICEing for a missing built-in bound lang item.Nick Cameron-18/+25
2014-09-25Integrate builtin bounds fully into the trait checkerNiko Matsakis-17/+48
2014-09-19Add enum variants to the type namespaceNick Cameron-11/+11
2014-09-17Test fixes from the rollupAlex Crichton-3/+1
2014-09-15Guts of the new trait matching algorithm, not yet in useNiko Matsakis-0/+356
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 23:33:29 +0000