| Age | Commit message (Expand) | Author | Lines |
|---|
| 2021-07-22 | Use instrument debugging for more readable logs | Oli Scherer | -13/+9 |
| 2021-07-22 | Auto merge of #87265 - Aaron1011:hir-wf-fn, r=estebank | bors | -2/+2 |
| 2021-07-21 | Improve caching during trait evaluation | Aaron Hill | -10/+27 |
| 2021-07-20 | Support HIR wf checking for function signatures | Aaron Hill | -2/+2 |
| 2021-07-20 | Auto merge of #87244 - jackh726:issue-71883, r=estebank | bors | -2/+9 |
| 2021-07-20 | Auto merge of #87141 - spastorino:remove_impl_trait_in_bindings, r=oli-obk | bors | -9/+3 |
| 2021-07-19 | Better diagnostics when mismatched types due to implict static lifetime | jackh726 | -2/+9 |
| 2021-07-19 | Auto merge of #87225 - estebank:cleanup, r=oli-obk | bors | -12/+20 |
| 2021-07-19 | Various diagnostics clean ups/tweaks | Esteban Küber | -12/+20 |
| 2021-07-18 | Revert "structural_match: non-structural-match ty closures" | Santiago Pastorino | -5/+1 |
| 2021-07-18 | Remove OpaqueTyOrigin::Misc, use TyAlias instead | Santiago Pastorino | -2/+2 |
| 2021-07-17 | Remove OpaqueTyOrigin::Binding | Santiago Pastorino | -3/+1 |
| 2021-07-17 | Add needs_normalization | jackh726 | -4/+21 |
| 2021-07-17 | Some perf optimizations and logging | jackh726 | -10/+16 |
| 2021-07-16 | Auto merge of #83898 - Aaron1011:feature/hir-wf, r=estebank | bors | -25/+57 |
| 2021-07-16 | Add initial implementation of HIR-based WF checking for diagnostics | Aaron Hill | -25/+57 |
| 2021-07-16 | Rollup merge of #87200 - oli-obk:fixup_fixup_opaque_types, r=nikomatsakis | Guillaume Gomez | -8/+6 |
| 2021-07-16 | Add some more tracing instrumentation | Oli Scherer | -8/+6 |
| 2021-07-15 | Remove failed and review comments | jackh726 | -99/+69 |
| 2021-07-13 | WIP partial apply fix | jackh726 | -104/+193 |
| 2021-07-09 | Replace associated item bound vars with placeholders when projecting. | jackh726 | -0/+365 |
| 2021-07-08 | Rollup merge of #86726 - sexxi-goose:use-diagnostic-item-for-rfc2229-migratio... | Guillaume Gomez | -5/+7 |
| 2021-07-06 | Make type_implements_trait not a query | Aman Arora | -43/+48 |
| 2021-07-05 | Auto merge of #86674 - Aaron1011:new-querify-limits, r=michaelwoerister | bors | -7/+7 |
| 2021-07-04 | Combine individual limit queries into single `limits` query | Aaron Hill | -7/+7 |
| 2021-07-04 | Auto merge of #86866 - nikomatsakis:issue-84841, r=oli-obk | bors | -5/+15 |
| 2021-07-04 | Query-ify global limit attribute handling | Aaron Hill | -7/+7 |
| 2021-07-04 | tag issues with FIXME | Niko Matsakis | -1/+1 |
| 2021-07-04 | allow inference vars in type_implements_trait | Niko Matsakis | -5/+15 |
| 2021-07-03 | Auto merge of #85090 - Aaron1011:type-outlives-global, r=matthewjasper,jackh726 | bors | -1/+9 |
| 2021-07-03 | Remove `ty::Binder::bind()` | Yuki Okushi | -1/+1 |
| 2021-06-29 | Rename variable | Roxane | -5/+5 |
| 2021-06-29 | Return `EvaluatedToOk` when type in outlives predicate is global | Aaron Hill | -1/+9 |
| 2021-06-29 | Use diagnostic items to check for Send, UnwindSafe and RefUnwindSafe traits | Roxane Fruytier | -2/+4 |
| 2021-06-23 | Auto merge of #86386 - inquisitivecrystal:better-errors-for-display-traits-v3... | bors | -0/+24 |
| 2021-06-18 | add various coments to explain how the code works | Niko Matsakis | -9/+3 |
| 2021-06-16 | Improve errors for missing Debug and Display impls | Aris Merchant | -0/+24 |
| 2021-06-15 | Refactor to make interpreter and codegen backend neutral to vtable internal r... | Charles Lew | -63/+89 |
| 2021-06-12 | Auto merge of #86130 - BoxyUwU:abstract_const_as_cast, r=oli-obk | bors | -1/+30 |
| 2021-06-10 | support `as _` and add tests | Ellen | -1/+3 |
| 2021-06-09 | Add more tests + visit_ty in some places | Ellen | -12/+21 |
| 2021-06-08 | Support as casts in abstract consts | Ellen | -9/+27 |
| 2021-06-07 | Differentiate different defining uses of taits when they reference distinct g... | Santiago Pastorino | -10/+7 |
| 2021-06-07 | Remove substs from OpaqueTypeDecl, use the one in OpaqueTypeKey | Santiago Pastorino | -27/+25 |
| 2021-06-07 | Use substs from opaque type key instead of using it from opaque_decl | Santiago Pastorino | -2/+1 |
| 2021-06-07 | Make opaque type map key be of type OpaqueTypeKey | Santiago Pastorino | -4/+10 |
| 2021-06-07 | Make OpaqueTypeKey the key of opaque types map | Santiago Pastorino | -5/+5 |
| 2021-06-07 | Change opaque type map to be a `VecMap` | Santiago Pastorino | -4/+5 |
| 2021-06-03 | don't suggest unsized indirection in where-clauses | Taylor Yu | -0/+4 |
| 2021-06-02 | Restrict access to crate_name. | Camille GILLOT | -2/+6 |
