summary refs log tree commit diff
path: root/src/librustc_traits/lowering.rs
AgeCommit message (Expand)AuthorLines
2018-07-27Prefer to_string() to format!()ljedrz-1/+1
2018-07-09Change wordingscalexm-20/+22
2018-07-07extend where clausescsmoe-15/+18
2018-07-06refactorcsmoe-35/+32
2018-07-05merge wellformed(wc)scsmoe-25/+17
2018-07-05split IntoWellFormedGoalcsmoe-4/+4
2018-07-05wellformed wccsmoe-22/+80
2018-07-02introduce `predicates_defined_on` for traitsNiko Matsakis-4/+2
2018-07-02use `ty::TraitRef::identity` where possibleNiko Matsakis-5/+1
2018-06-28Use `Ident`s for associated item definitions in HIRVadim Petrochenkov-1/+1
2018-06-28Use `Ident`s for associated type bindings in HIRVadim Petrochenkov-1/+1
2018-06-27move into `provide` methodsNiko Matsakis-0/+9
2018-06-07Add rules for type well-formednessscalexm-3/+73
2018-06-04Refactor the chalkify lowering processscalexm-64/+72
2018-05-24implement the chalk traits, albeit with many placeholdersNiko Matsakis-1/+1
2018-05-21rustc: use intern_* instead of mk_* where possible.Eduard-Mihai Burtescu-4/+4
2018-04-23sort strings on outputNiko Matsakis-7/+16
2018-04-23eliminate the `Lrc` of a slice and just return the sliceNiko Matsakis-21/+16
2018-04-23first draft of `program_clauses_for_env`Niko Matsakis-18/+70
2018-04-23in unit tests, use `note` to dump multiple program clausesNiko Matsakis-6/+19
2018-04-23rustfmt lowering.rsNiko Matsakis-50/+59
2018-04-15Rebase and fix conflicts.Fabian Zaiser-5/+7
2018-04-15Stop duplicating where clauses from impl's.Fabian Zaiser-9/+7
2018-04-15Rebase and update code.Fabian Zaiser-2/+6
2018-04-15Improve function name.Fabian Zaiser-3/+5
2018-04-15Implement Chalk lowering rule Normalize-From-ImplFabian Zaiser-4/+61
2018-04-12traits: Implement interning for Goal and ClauseTatsuyuki Ishi-19/+23
2018-04-06chalkify: Implement Rule Implied-Bound-From-TraitTyler Mandry-4/+65
2018-04-02Fix commentAlexandre Martin-1/+1
2018-03-30Tweak `Clause` definition and HRTBsscalexm-25/+27
2018-03-20Implement Rule Implemented-From-Envvarkor-0/+32
2018-03-20Improve comments for Rule Implemented-From-Implvarkor-4/+13
2018-03-15Fix tidyAlexandre Martin-1/+1
2018-03-15add xref to rust-guideNiko Matsakis-0/+4
2018-03-14Add documentationscalexm-0/+12
2018-03-14Move code into librustc_traitsscalexm-0/+168
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 00:50:54 +0000