1
- infer_opaque_hidden_type =
1
+ infer_opaque_hidden_type =
2
2
opaque type's hidden type cannot be another opaque type from the same scope
3
3
.label = one of the two opaque types used here has to be outside its defining scope
4
4
.opaque_type = opaque type whose hidden type is being assigned
@@ -8,7 +8,7 @@ infer_type_annotations_needed = {$source_kind ->
8
8
[ closure ] type annotations needed for the closure `{ $source_name } `
9
9
[ normal ] type annotations needed for `{ $source_name } `
10
10
*[ other ] type annotations needed
11
- }
11
+ }
12
12
.label = type must be known at this point
13
13
14
14
infer_label_bad = { $bad_kind ->
@@ -38,24 +38,24 @@ infer_source_kind_subdiag_let = {$kind ->
38
38
}
39
39
40
40
infer_source_kind_subdiag_generic_label =
41
- cannot infer { $is_type ->
41
+ cannot infer { $is_type ->
42
42
[ true ] type
43
43
*[ false ] the value
44
- } of the { $is_type ->
44
+ } of the { $is_type ->
45
45
[ true ] type
46
46
*[ false ] const
47
47
} { $parent_exists ->
48
48
[ true ] parameter `{ $param_name } ` declared on the { $parent_prefix } `{ $parent_name } `
49
- *[ false ] parameter { $param_name }
49
+ *[ false ] parameter { $param_name }
50
50
}
51
51
52
52
infer_source_kind_subdiag_generic_suggestion =
53
- consider specifying the generic { $arg_count ->
53
+ consider specifying the generic { $arg_count ->
54
54
[ one ] argument
55
55
*[ other ] arguments
56
56
}
57
57
58
- infer_source_kind_fully_qualified =
58
+ infer_source_kind_fully_qualified =
59
59
try using a fully qualified path to specify the expected types
60
60
61
61
infer_source_kind_closure_return =
@@ -105,4 +105,3 @@ infer_relate_param_bound = ...so that the type `{$name}` will meet its required
105
105
infer_relate_param_bound_2 = ...that is required by this bound
106
106
infer_relate_region_param_bound = ...so that the declared lifetime parameter bounds are satisfied
107
107
infer_compare_impl_item_obligation = ...so that the definition in impl matches the definition from the trait
108
-
0 commit comments