1 typeck_field_multiply_specified_in_initializer =
2 field `{$ident}` specified more than once
3 .label = used more than once
4 .previous_use_label = first use of `{$ident}`
6 typeck_unrecognized_atomic_operation =
7 unrecognized atomic operation function: `{$op}`
8 .label = unrecognized atomic operation
10 typeck_wrong_number_of_generic_arguments_to_intrinsic =
11 intrinsic has wrong number of {$descr} parameters: found {$found}, expected {$expected}
12 .label = expected {$expected} {$descr} {$expected ->
17 typeck_unrecognized_intrinsic_function =
18 unrecognized intrinsic function: `{$name}`
19 .label = unrecognized intrinsic
21 typeck_lifetimes_or_bounds_mismatch_on_trait =
22 lifetime parameters or bounds on {$item_kind} `{$ident}` do not match the trait declaration
23 .label = lifetimes do not match {$item_kind} in trait
24 .generics_label = lifetimes in impl do not match this {$item_kind} in trait
26 typeck_drop_impl_on_wrong_item =
27 the `Drop` trait may only be implemented for structs, enums, and unions
28 .label = must be a struct, enum, or union
30 typeck_field_already_declared =
31 field `{$field_name}` is already declared
32 .label = field already declared
33 .previous_decl_label = `{$field_name}` first declared here
35 typeck_copy_impl_on_type_with_dtor =
36 the trait `Copy` may not be implemented for this type; the type has a destructor
37 .label = `Copy` not allowed on types with destructors
39 typeck_multiple_relaxed_default_bounds =
40 type parameter has more than one relaxed default bound, only one is supported
42 typeck_copy_impl_on_non_adt =
43 the trait `Copy` may not be implemented for this type
44 .label = type is not a structure or enumeration
46 typeck_trait_object_declared_with_no_traits =
47 at least one trait is required for an object type
48 .alias_span = this alias does not contain a trait
50 typeck_ambiguous_lifetime_bound =
51 ambiguous lifetime bound, explicit lifetime bound required
53 typeck_assoc_type_binding_not_allowed =
54 associated type bindings are not allowed here
55 .label = associated type not allowed here
57 typeck_functional_record_update_on_non_struct =
58 functional record update syntax requires a struct
60 typeck_typeof_reserved_keyword_used =
61 `typeof` is a reserved keyword but unimplemented
62 .suggestion = consider replacing `typeof(...)` with an actual type
63 .label = reserved keyword
65 typeck_return_stmt_outside_of_fn_body =
66 return statement outside of function body
67 .encl_body_label = the return is part of this body...
68 .encl_fn_label = ...not the enclosing function body
70 typeck_yield_expr_outside_of_generator =
71 yield expression outside of generator literal
73 typeck_struct_expr_non_exhaustive =
74 cannot create non-exhaustive {$what} using struct expression
76 typeck_method_call_on_unknown_type =
77 the type of this value must be known to call a method on a raw pointer on it
79 typeck_value_of_associated_struct_already_specified =
80 the value of the associated type `{$item_name}` (from trait `{$def_path}`) is already specified
81 .label = re-bound here
82 .previous_bound_label = `{$item_name}` bound here first
84 typeck_address_of_temporary_taken = cannot take address of a temporary
85 .label = temporary value
87 typeck_add_return_type_add = try adding a return type
89 typeck_add_return_type_missing_here = a return type might be missing here
91 typeck_expected_default_return_type = expected `()` because of default return type
93 typeck_expected_return_type = expected `{$expected}` because of return type
95 typeck_unconstrained_opaque_type = unconstrained opaque type
96 .note = `{$name}` must be used in combination with a concrete type within the same module
98 typeck_missing_type_params =
99 the type {$parameterCount ->
102 } {$parameters} must be explicitly specified
103 .label = type {$parameterCount ->
106 } {$parameters} must be specified for this
107 .suggestion = set the type {$parameterCount ->
110 } to the desired {$parameterCount ->
114 .no_suggestion_label = missing {$parameterCount ->
118 .note = because of the default `Self` reference, type parameters must be specified on object types
120 typeck_manual_implementation =
121 manual implementations of `{$trait_name}` are experimental
122 .label = manual implementations of `{$trait_name}` are experimental
123 .help = add `#![feature(unboxed_closures)]` to the crate attributes to enable
125 typeck_substs_on_overridden_impl = could not resolve substs on overridden impl