1- infer_opaque_hidden_type =
1+ infer_opaque_hidden_type =
22 opaque type's hidden type cannot be another opaque type from the same scope
33 .label = one of the two opaque types used here has to be outside its defining scope
44 .opaque_type = opaque type whose hidden type is being assigned
@@ -8,7 +8,7 @@ infer_type_annotations_needed = {$source_kind ->
88 [ closure ] type annotations needed for the closure `{ $source_name } `
99 [ normal ] type annotations needed for `{ $source_name } `
1010 *[ other ] type annotations needed
11- }
11+ }
1212 .label = type must be known at this point
1313
1414infer_label_bad = { $bad_kind ->
@@ -38,24 +38,24 @@ infer_source_kind_subdiag_let = {$kind ->
3838}
3939
4040infer_source_kind_subdiag_generic_label =
41- cannot infer { $is_type ->
41+ cannot infer { $is_type ->
4242 [ true ] type
4343 *[ false ] the value
44- } of the { $is_type ->
44+ } of the { $is_type ->
4545 [ true ] type
4646 *[ false ] const
4747 } { $parent_exists ->
4848 [ true ] parameter `{ $param_name } ` declared on the { $parent_prefix } `{ $parent_name } `
49- *[ false ] parameter { $param_name }
49+ *[ false ] parameter { $param_name }
5050 }
5151
5252infer_source_kind_subdiag_generic_suggestion =
53- consider specifying the generic { $arg_count ->
53+ consider specifying the generic { $arg_count ->
5454 [ one ] argument
5555 *[ other ] arguments
5656 }
5757
58- infer_source_kind_fully_qualified =
58+ infer_source_kind_fully_qualified =
5959 try using a fully qualified path to specify the expected types
6060
6161infer_source_kind_closure_return =
@@ -105,4 +105,3 @@ infer_relate_param_bound = ...so that the type `{$name}` will meet its required
105105infer_relate_param_bound_2 = ...that is required by this bound
106106infer_relate_region_param_bound = ...so that the declared lifetime parameter bounds are satisfied
107107infer_compare_impl_item_obligation = ...so that the definition in impl matches the definition from the trait
108-
0 commit comments