| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-11-22 | Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr | Manish Goregaokar | -41/+29 |
| 2022-11-22 | Use `tcx.require_lang_item` instead of unwrapping | Maybe Waffle | -1/+1 |
| 2022-11-22 | Auto merge of #104696 - matthiaskrgr:rollup-gi1pdb0, r=matthiaskrgr | bors | -48/+37 |
| 2022-11-22 | Rollup merge of #104674 - spastorino:negative-impl-tcx, r=lcnr | Matthias Krüger | -16/+10 |
| 2022-11-22 | Rollup merge of #104597 - compiler-errors:need_migrate_deref_output_trait_obj... | Matthias Krüger | -32/+27 |
| 2022-11-21 | Stop passing the self-type as a separate argument. | Oli Scherer | -68/+46 |
| 2022-11-21 | Remove a redundant assert | Oli Scherer | -6/+0 |
| 2022-11-21 | For lcnr | Oli Scherer | -0/+1 |
| 2022-11-21 | Add helper to create the trait ref for a lang item | Oli Scherer | -18/+14 |
| 2022-11-21 | Use iterators instead of slices at more sites | Oli Scherer | -5/+6 |
| 2022-11-21 | Allow iterators instead of requiring slices that will get turned into iterators | Oli Scherer | -31/+25 |
| 2022-11-21 | Add a helper for replacing the self type in trait refs | Oli Scherer | -25/+5 |
| 2022-11-21 | Assert that various types have the right amount of generic args and fix the s... | Oli Scherer | -85/+74 |
| 2022-11-21 | Split out the actual predicate solving code into a separate function | Oli Scherer | -9/+17 |
| 2022-11-21 | Check that type_implements_trait actually is passed the right amount of gener... | Oli Scherer | -3/+11 |
| 2022-11-21 | Add an always-ambiguous predicate to make sure that we don't accidentlally al... | Oli Scherer | -0/+10 |
| 2022-11-21 | Treat different opaque types of the same def id as equal during coherence | Oli Scherer | -40/+18 |
| 2022-11-21 | Allow opaque types in trait impl headers and rely on coherence to reject unso... | Oli Scherer | -3/+3 |
| 2022-11-21 | negative_impl_exists should take an InferCtxt | Santiago Pastorino | -8/+7 |
| 2022-11-21 | negative_impl should take a TyCtxt | Santiago Pastorino | -8/+3 |
| 2022-11-21 | Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnr | Matthias Krüger | -2/+2 |
| 2022-11-20 | Auto merge of #98914 - fee1-dead-contrib:min-deref-patterns, r=compiler-errors | bors | -1/+1 |
| 2022-11-19 | revert-overflow | ouz-a | -16/+0 |
| 2022-11-19 | Rollup merge of #104593 - compiler-errors:rpitit-object-safety-spans, r=fee1-... | Matthias Krüger | -6/+15 |
| 2022-11-19 | Rollup merge of #104469 - estebank:long-types, r=oli-obk | Matthias Krüger | -11/+59 |
| 2022-11-19 | Auto merge of #103509 - compiler-errors:opaques-w-bound-vars-r-hard, r=oli-obk | bors | -2/+2 |
| 2022-11-19 | Rollup merge of #104554 - BoxyUwU:less_unchecked_pls, r=lcnr | Dylan DPC | -18/+19 |
| 2022-11-19 | Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errors | Dylan DPC | -7/+19 |
| 2022-11-19 | Probe + better error messsage for need_migrate_deref_output_trait_object | Michael Goulet | -32/+27 |
| 2022-11-19 | drive-by: PolyExistentialPredicate | Michael Goulet | -2/+2 |
| 2022-11-19 | Improve spans for RPITIT object-safety errors | Michael Goulet | -6/+15 |
| 2022-11-18 | Auto merge of #104591 - Manishearth:rollup-b3ser4e, r=Manishearth | bors | -0/+28 |
| 2022-11-18 | Only enforce ABI-mandated align, not preferred align is compatible | Michael Goulet | -1/+1 |
| 2022-11-18 | Check both align and size in PointerSized | Michael Goulet | -1/+2 |
| 2022-11-18 | Enforce that dyn* casts are actually pointer-sized | Michael Goulet | -0/+27 |
| 2022-11-18 | Revert "Normalize opaques with escaping bound vars" | Michael Goulet | -2/+2 |
| 2022-11-18 | review comment | Esteban Küber | -8/+2 |
| 2022-11-18 | On E0275 do not print out the full type in the msg | Esteban Küber | -7/+41 |
| 2022-11-18 | On overflow errors, do not print out long types | Esteban Küber | -4/+24 |
| 2022-11-18 | require an `ErrorGuaranteed` to taint infcx with errors | Boxy | -1/+4 |
| 2022-11-18 | rename `is_tainted_by_errors` | Boxy | -11/+13 |
| 2022-11-18 | `InferCtxt::is_tainted_by_errors` returns `ErrorGuaranteed` | Boxy | -17/+13 |
| 2022-11-18 | Rollup merge of #103386 - compiler-errors:no-coerceunsized-to-dynstar, r=eholk | Matthias Krüger | -5/+9 |
| 2022-11-18 | Rm diagnostic item, use lang item | Deadbeef | -1/+1 |
| 2022-11-17 | Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errors | Matthias Krüger | -130/+134 |
| 2022-11-17 | Auto merge of #104170 - cjgillot:hir-def-id, r=fee1-dead | bors | -3/+2 |
| 2022-11-16 | Use `as_deref` in compiler (but only where it makes sense) | Maybe Waffle | -1/+1 |
| 2022-11-16 | Convert predicates into Predicate in the Obligation constructor | Oli Scherer | -130/+134 |
| 2022-11-16 | cleanup and dedupe CTFE and Miri error reporting | Ralf Jung | -24/+0 |
| 2022-11-15 | use `ocx` type relation routines | lcnr | -7/+19 |
