diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-03-10 19:59:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-10 19:59:18 +0100 |
| commit | bee84733ade5e100a57478b8d551ce1840dc3009 (patch) | |
| tree | af75c2d7872fcbd142b371cb680c341128091d28 /compiler/rustc_parse/src/errors.rs | |
| parent | 233ed35e8491c2c08e7320fba3f3bd5519daf58d (diff) | |
| parent | 4fe232b27770f3e568fa4fa676f8bbd1ff595a6c (diff) | |
| download | rust-bee84733ade5e100a57478b8d551ce1840dc3009.tar.gz rust-bee84733ade5e100a57478b8d551ce1840dc3009.zip | |
Rollup merge of #108834 - compiler-errors:fn-ptr-fn-obl, r=spastorino
Do not ICE when we have fn pointer `Fn` obligations with bound vars in the self type We never supported solving `for<'a> fn(&'a ()): Fn(&'a ())` -- I tried to add that support in #104929, but iirc `@lcnr` wanted to support this more generally by eagerly instantiating trait predicate binders with placeholders. That never happened due to blockers in the old solver, but we probably shouldn't ICE in any case. On the bright side, this passes on the new solver :^)
Diffstat (limited to 'compiler/rustc_parse/src/errors.rs')
0 files changed, 0 insertions, 0 deletions