Empty regions don't exist anymore, remove them from fluent

This commit is contained in:
Oli Scherer 2023-01-17 08:00:01 +00:00
parent 4781233a77
commit 1a6ab6c16a

View file

@ -147,8 +147,6 @@ infer_region_explanation = {$pref_kind ->
}{$desc_kind ->
*[should_not_happen] [{$desc_kind}]
[restatic] the static lifetime
[reempty] the empty lifetime
[reemptyuni] the empty lifetime in universe {$desc_arg}
[revar] lifetime {$desc_arg}
[as_defined] the lifetime `{$desc_arg}` as defined here