summary refs log tree commit diff
path: root/src/librustc/traits/structural_impls.rs
AgeCommit message (Collapse)AuthorLines
2017-07-05use field init shorthand in src/librustcZack M. Davis-16/+16
The field init shorthand syntax was stabilized in 1.17.0 (aebd94f); we are now free to use it in the compiler.
2017-06-29Check explicitly that tuple initializer is Sized.Masaki Hara-0/+3
2017-06-24Detect missing `;` on methods with return type `()`Esteban Küber-27/+17
- Point out the origin of a type requirement when it is the return type of a method - Point out possibly missing semicolon when the return type is () and the implicit return makes sense as a statement - Suggest changing the return type of methods with default return type - Don't suggest changing the return type on fn main() - Don't suggest changing the return type on impl fn
2017-06-01strip param-env from infcxNiko Matsakis-0/+1
2017-04-11fix long lineNiko Matsakis-1/+2
2017-04-11add Subtype predicateNiko Matsakis-0/+1
2017-03-30add an `ObligationCauseCode` we'll use later (`ReturnNoExpression`)Niko Matsakis-0/+3
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-27/+0
2016-11-28Remove BuiltinBound and BuiltinBounds.Mark-Simulacrum-5/+0
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-0/+46
In general having all these different structs for "origins" is not great, since equating types can cause obligations and vice-versa. I think we should gradually collapse these things. We almost certainly also need to invest a big more energy into the `error_reporting` code to rationalize it: this PR does kind of the minimal effort in that direction.
2016-11-01introduce new origin for `Trait+'b`Niko Matsakis-0/+11
This helps us to preserve the existing errors.
2016-11-01compare-method lintNiko Matsakis-1/+3
2016-11-01cleanup error reporting and add `ui` testsNiko Matsakis-4/+10
2016-08-12typeck: leak auto trait obligations through impl Trait.Eduard Burtescu-0/+181
2016-05-11Add inferred obligation storage to all Vtable variants and SelectionContextMasood Malekghassemi-10/+40
2016-05-11rustc: Split local type contexts interners from the global one.Eduard Burtescu-0/+52
2016-05-11rustc: More interning for data used in Ty<'tcx>.Eduard Burtescu-2/+1
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-8/+34
2016-03-27rustc: move cfg, infer, traits and ty from middle to top-level.Eduard Burtescu-0/+256