diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-10-17 17:15:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-17 17:15:50 +0200 |
| commit | d02a221d318d54adb354bfdfdb88d594c232ae5d (patch) | |
| tree | 7d64f46d76223962d3968aed8d4f3cd3119496bb /src/librustdoc/html/static/js/source-script.js | |
| parent | e91fd0b514eaf950f8b84f0703142e8926d27286 (diff) | |
| parent | 3021598fdbba9ce32d313bba6b49e03c7701da1f (diff) | |
| download | rust-d02a221d318d54adb354bfdfdb88d594c232ae5d.tar.gz rust-d02a221d318d54adb354bfdfdb88d594c232ae5d.zip | |
Rollup merge of #102945 - compiler-errors:placeholder-region-outlives, r=lcnr
Do not register placeholder `RegionOutlives` obligations when `considering_regions` is false **NOTE:** I'm kinda just putting this up for discussion. I'm not certain this is correct...? This was introduced in [`608625d`](https://github.com/rust-lang/rust/commit/608625dae95cde00e4570eb6c2d63b2244bbf34c#diff-6e54b18681342ec725d75591dbf384ad08cd73df29db00485fe51b4e90f76ff7R361). Interestingly, we only check `data.has_placeholders()` for `RegionOutlives`, and not for `TypeOutlives`... why? For the record, that different treatment between `RegionOutlives` and `TypeOutlives` is why the fix "The compiling succeeds when all `'a : 'b` are replaced with `&'a () : 'b`" in #100689 _"works"_, but it seems like an implementation detail considering this. Also, why do we care about placeholder regions being registered if `considering_regions` is false? It doesn't seem to affect any UI tests, for example. r? `@lcnr` Fixes #102899 Fixes #100689
Diffstat (limited to 'src/librustdoc/html/static/js/source-script.js')
0 files changed, 0 insertions, 0 deletions