summary refs log tree commit diff
path: root/src/librustc/traits/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2018-11-06Auto merge of #54199 - nikomatsakis:predicate_may_hold-failure, r=eddybbors-1/+1
2018-08-29Remove `AccumulateVec` and its uses.Nicholas Nethercote-3/+3
2018-08-22Rename ty::Slice to ty::Listvarkor-2/+2
2018-08-19Add notes on unsized argument errors.Masaki Hara-0/+1
2018-08-15fix error for unsized packed struct fieldRalf Jung-1/+1
2018-06-28Move the Lrc outside the error type and name the fieldsOliver Schneider-1/+3
2018-06-04Refactor the chalkify lowering processscalexm-30/+73
2018-05-24implement the chalk traits, albeit with many placeholdersNiko Matsakis-144/+214
2018-05-17Rename trans to codegen everywhere.Irina Popa-1/+1
2018-05-15Feature gate trivial boundsMatthew Jasper-0/+1
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker-5/+5
2018-04-26Remove the stored obligation in OverflowError to simplify thingsAravind Gollakota-1/+1
2018-04-26Refactor overflow handling in traits::select to propagate overflow instead of...Aravind Gollakota-0/+1
2018-04-23add `Goal::CannotProve` and extract `ProgramClause` structNiko Matsakis-0/+2
2018-04-15Implement Chalk lowering rule Normalize-From-ImplFabian Zaiser-0/+2
2018-04-12traits: Implement interning for Goal and ClauseTatsuyuki Ishi-0/+34
2018-03-30Tweak `Clause` definition and HRTBsscalexm-16/+26
2018-03-14Address niko's nitsscalexm-119/+71
2018-03-14Add MVP for chalkificationscalexm-0/+183
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-2/+0
2018-03-13improve TypeFoldable/Lift macros and make a bunch of stuff use themNiko Matsakis-236/+45
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-3/+0
2018-01-29Require yield types to be sizedJohn Kåre Alsaker-0/+3
2017-11-25avoid type-live-for-region obligations on dummy nodesAriel Ben-Yehuda-4/+11
2017-11-15convert EXTRA_REQUIREMENT_IN_IMPL into a hard errorNiko Matsakis-3/+1
2017-11-15move region constraints into inference contextNiko Matsakis-7/+0
2017-11-03[Syntax Breaking] Rename DefaultImpl to AutoImplleonardo.yvens-8/+8
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-0/+3
2017-08-21Merge remote-tracking branch 'origin/master' into genAlex Crichton-1/+1
2017-08-22Auto merge of #43690 - scalexm:issue-28229, r=nikomatsakisbors-1/+1
2017-08-21Merge remote-tracking branch 'origin/master' into genAlex Crichton-3/+3
2017-08-18Handle structs, unions and enums unsized field/variant separatelyGuillaume Gomez-3/+3
2017-08-14Do not store `ty`scalexm-12/+4
2017-08-14Make `Clone` a lang item and generate builtin impls.scalexm-4/+12
2017-07-28Generator literal supportJohn Kåre Alsaker-0/+43
2017-07-05use field init shorthand in src/librustcZack M. Davis-16/+16
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
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
2016-11-01introduce new origin for `Trait+'b`Niko Matsakis-0/+11
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 20:48:52 +0000