Enum IssueKind 

#[non_exhaustive]
pub enum IssueKind {
    NonStaticSelfCall {
        class: String,
        method: String,
    },
    InvalidScope {
        in_class: bool,
    },
    UndefinedVariable {
        name: String,
    },
    UndefinedFunction {
        name: String,
    },
    UndefinedMethod {
        class: String,
        method: String,
    },
    UndefinedClass {
        name: String,
    },
    UndefinedProperty {
        class: String,
        property: String,
    },
    UndefinedConstant {
        name: String,
    },
    PossiblyUndefinedVariable {
        name: String,
    },
    UndefinedTrait {
        name: String,
    },
    InvalidStringClass {
        actual: String,
    },
    NullArgument {
        param: String,
        fn_name: String,
    },
    NullPropertyFetch {
        property: String,
    },
    NullMethodCall {
        method: String,
    },
    NullArrayAccess,
    PossiblyNullArgument {
        param: String,
        fn_name: String,
    },
    PossiblyInvalidArgument {
        param: String,
        fn_name: String,
        expected: String,
        actual: String,
    },
    PossiblyNullPropertyFetch {
        property: String,
    },
    PossiblyNullMethodCall {
        method: String,
    },
    PossiblyNullArrayAccess,
    NullableReturnStatement {
        expected: String,
        actual: String,
    },
    InvalidReturnType {
        expected: String,
        actual: String,
    },
    InvalidArgument {
        param: String,
        fn_name: String,
        expected: String,
        actual: String,
    },
    TooFewArguments {
        fn_name: String,
        expected: usize,
        actual: usize,
    },
    TooManyArguments {
        fn_name: String,
        expected: usize,
        actual: usize,
    },
    InvalidNamedArgument {
        fn_name: String,
        name: String,
    },
    InvalidPassByReference {
        fn_name: String,
        param: String,
    },
    InvalidPropertyFetch {
        ty: String,
    },
    InvalidArrayAccess {
        ty: String,
    },
    InvalidArrayAssignment {
        ty: String,
    },
    InvalidPropertyAssignment {
        property: String,
        expected: String,
        actual: String,
    },
    InvalidCast {
        from: String,
        to: String,
    },
    InvalidStaticInvocation {
        class: String,
        method: String,
    },
    InvalidOperand {
        op: String,
        left: String,
        right: String,
    },
    PossiblyInvalidOperand {
        op: String,
        left: String,
        right: String,
    },
    PossiblyNullOperand {
        op: String,
        ty: String,
    },
    MismatchingDocblockReturnType {
        declared: String,
        inferred: String,
    },
    MismatchingDocblockParamType {
        param: String,
        declared: String,
        inferred: String,
    },
    TypeCheckMismatch {
        var: String,
        expected: String,
        actual: String,
    },
    InvalidArrayOffset {
        expected: String,
        actual: String,
    },
    NonExistentArrayOffset {
        key: String,
    },
    PossiblyInvalidArrayOffset {
        expected: String,
        actual: String,
    },
    RedundantCondition {
        ty: String,
    },
    RedundantCast {
        from: String,
        to: String,
    },
    UnnecessaryVarAnnotation {
        var: String,
    },
    TypeDoesNotContainType {
        left: String,
        right: String,
    },
    ParadoxicalCondition {
        value: String,
    },
    UnusedVariable {
        name: String,
    },
    UnusedParam {
        name: String,
    },
    UnreachableCode,
    UnusedMethod {
        class: String,
        method: String,
    },
    UnusedProperty {
        class: String,
        property: String,
    },
    UnusedFunction {
        name: String,
    },
    UnusedForeachValue {
        name: String,
    },
    ReadonlyPropertyAssignment {
        class: String,
        property: String,
    },
    UnimplementedAbstractMethod {
        class: String,
        method: String,
    },
    UnimplementedInterfaceMethod {
        class: String,
        interface: String,
        method: String,
    },
    MethodSignatureMismatch {
        class: String,
        method: String,
        detail: String,
    },
    OverriddenMethodAccess {
        class: String,
        method: String,
    },
    DirectConstructorCall {
        class: String,
    },
    FinalClassExtended {
        parent: String,
        child: String,
    },
    FinalMethodOverridden {
        class: String,
        method: String,
        parent: String,
    },
    AbstractInstantiation {
        class: String,
    },
    InterfaceInstantiation {
        class: String,
    },
    InvalidOverride {
        class: String,
        method: String,
        detail: String,
    },
    TaintedInput {
        sink: String,
    },
    TaintedHtml,
    TaintedSql,
    TaintedShell,
    InvalidTemplateParam {
        name: String,
        expected_bound: String,
        actual: String,
    },
    ShadowedTemplateParam {
        name: String,
    },
    DeprecatedCall {
        name: String,
        message: Option<Arc<str>>,
    },
    DeprecatedProperty {
        class: String,
        property: String,
        message: Option<Arc<str>>,
    },
    DeprecatedConstant {
        class: String,
        constant: String,
        message: Option<Arc<str>>,
    },
    DeprecatedInterface {
        name: String,
        message: Option<Arc<str>>,
    },
    DeprecatedTrait {
        name: String,
        message: Option<Arc<str>>,
    },
    DeprecatedMethodCall {
        class: String,
        method: String,
        message: Option<Arc<str>>,
    },
    DeprecatedMethod {
        class: String,
        method: String,
        message: Option<Arc<str>>,
    },
    DeprecatedClass {
        name: String,
        message: Option<Arc<str>>,
    },
    InternalMethod {
        class: String,
        method: String,
    },
    MissingReturnType {
        fn_name: String,
    },
    MissingParamType {
        fn_name: String,
        param: String,
    },
    InvalidThrow {
        ty: String,
    },
    InvalidCatch {
        ty: String,
    },
    MissingThrowsDocblock {
        class: String,
    },
    ImplicitToStringCast {
        class: String,
    },
    ImplicitFloatToIntCast {
        from: String,
    },
    ParseError {
        message: String,
    },
    InvalidDocblock {
        message: String,
    },
    MixedArgument {
        param: String,
        fn_name: String,
    },
    MixedAssignment {
        var: String,
    },
    MixedMethodCall {
        method: String,
    },
    MixedPropertyFetch {
        property: String,
    },
    MixedClone,
    InvalidClone {
        ty: String,
    },
    PossiblyInvalidClone {
        ty: String,
    },
    InvalidToString {
        class: String,
    },
    CircularInheritance {
        class: String,
    },
    InvalidTraitUse {
        trait_name: String,
        reason: String,
    },
}

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

NonStaticSelfCall

Emitted by mir-analyzer/src/expr/variables.rs. Fixtures: tests/fixtures/by-kind/invalid_scope/. Emitted by mir-analyzer/src/call/static_call.rs. Fixtures: tests/fixtures/by-kind/invalid_scope/self_non_static_invocation.phpt.

Fields

class: String

method: String

InvalidScope

Fields

in_class: bool

true when inside a class but in a static method; false when outside a class.

UndefinedVariable

Emitted by mir-analyzer/src/expr/variables.rs. Fixtures: tests/fixtures/by-kind/undefined_variable/.

Fields

name: String

UndefinedFunction

Emitted by mir-analyzer/src/call/function.rs. Fixtures: tests/fixtures/by-kind/undefined_function/.

Fields

name: String

UndefinedMethod

Emitted by mir-analyzer/src/call/static_call.rs. Fixtures: tests/fixtures/by-kind/undefined_method/.

Fields

class: String

method: String

UndefinedClass

Emitted by mir-analyzer/src/batch.rs. Fixtures: tests/fixtures/by-kind/undefined_class/.

Fields

name: String

UndefinedProperty

Emitted by mir-analyzer/src/expr/objects.rs. Fixtures: tests/fixtures/by-kind/undefined_property/.

Fields

class: String

property: String

UndefinedConstant

Emitted by mir-analyzer/src/expr/variables.rs. Fixtures: tests/fixtures/by-kind/undefined_constant/.

Fields

name: String

PossiblyUndefinedVariable

Emitted by mir-analyzer/src/expr/variables.rs. Fixtures: tests/fixtures/by-kind/possibly_undefined_variable/.

Fields

name: String

UndefinedTrait

Emitted by mir-analyzer/src/body_analysis.rs. Fixtures: tests/fixtures/by-kind/undefined_trait/.

Fields

name: String

InvalidStringClass

Emitted by mir-analyzer/src/expr/objects.rs. Fixtures: tests/fixtures/by-kind/invalid_string_class/.

Fields

actual: String

NullArgument

Emitted by mir-analyzer/src/call/args.rs. Fixtures: tests/fixtures/by-kind/null_argument/.

Fields

param: String

fn_name: String

NullPropertyFetch

Emitted by mir-analyzer/src/expr/objects.rs. Fixtures: tests/fixtures/by-kind/null_property_fetch/.

Fields

property: String

NullMethodCall

Emitted by mir-analyzer/src/call/method.rs. Fixtures: tests/fixtures/by-kind/null_method_call/.

Fields

method: String

NullArrayAccess

Emitted by mir-analyzer/src/expr/arrays.rs. Fixtures: tests/fixtures/by-kind/null_array_access/.

PossiblyNullArgument

Emitted by mir-analyzer/src/call/args.rs. Fixtures: tests/fixtures/by-kind/possibly_null_argument/.

Fields

param: String

fn_name: String

PossiblyInvalidArgument

Emitted by mir-analyzer/src/call/args.rs. Fixtures: tests/fixtures/by-kind/possibly_invalid_argument/.

Fields

param: String

fn_name: String

expected: String

actual: String

PossiblyNullPropertyFetch

Emitted by mir-analyzer/src/expr/objects.rs. Fixtures: tests/fixtures/by-kind/possibly_null_property_fetch/.

Fields

property: String

PossiblyNullMethodCall

Emitted by mir-analyzer/src/call/method.rs. Fixtures: tests/fixtures/by-kind/possibly_null_method_call/.

Fields

method: String

PossiblyNullArrayAccess

Emitted by mir-analyzer/src/expr/arrays.rs. Fixtures: tests/fixtures/by-kind/possibly_null_array_access/.

NullableReturnStatement

Not yet emitted. Fixtures: tests/fixtures/by-kind/nullable_return_statement/ (planned).

Fields

expected: String

actual: String

InvalidReturnType

Emitted by mir-analyzer/src/stmt/flow.rs. Fixtures: tests/fixtures/by-kind/invalid_return_type/.

Fields

expected: String

actual: String

InvalidArgument

Emitted by mir-analyzer/src/call/args.rs. Fixtures: tests/fixtures/by-kind/invalid_argument/.

Fields

param: String

fn_name: String

expected: String

actual: String

TooFewArguments

Emitted by mir-analyzer/src/call/callable.rs. Fixtures: tests/fixtures/by-kind/too_few_arguments/.

Fields

fn_name: String

expected: usize

actual: usize

TooManyArguments

Emitted by mir-analyzer/src/call/function.rs. Fixtures: tests/fixtures/by-kind/too_many_arguments/.

Fields

fn_name: String

expected: usize

actual: usize

InvalidNamedArgument

Emitted by mir-analyzer/src/call/args.rs. Fixtures: tests/fixtures/by-kind/invalid_named_argument/.

Fields

fn_name: String

name: String

InvalidPassByReference

Emitted by mir-analyzer/src/call/args.rs. Fixtures: tests/fixtures/by-kind/invalid_pass_by_reference/.

Fields

fn_name: String

param: String

InvalidPropertyFetch

Emitted by mir-analyzer/src/expr/objects.rs. Fixtures: tests/fixtures/by-kind/invalid_property_fetch/bad_fetch.phpt.

Fields

ty: String

InvalidArrayAccess

Emitted by mir-analyzer/src/expr/arrays.rs. Fixtures: tests/fixtures/by-kind/invalid_array_access/.

Fields

ty: String

InvalidArrayAssignment

Emitted by mir-analyzer/src/expr/assignment.rs. Fixtures: tests/fixtures/by-kind/invalid_array_assignment/.

Fields

ty: String

InvalidPropertyAssignment

Emitted by mir-analyzer/src/expr/assignment.rs. Fixtures: tests/fixtures/by-kind/invalid_property_assignment/.

Fields

property: String

expected: String

actual: String

InvalidCast

Emitted by mir-analyzer/src/expr/casts.rs. Fixtures: tests/fixtures/by-kind/invalid_cast/.

Fields

from: String

to: String

InvalidStaticInvocation

Emitted by mir-analyzer/src/call/static_call.rs. Fixtures: tests/fixtures/by-kind/undefined_method/static_invocation*.phpt.

Fields

class: String

method: String

InvalidOperand

Emitted by mir-analyzer/src/expr/binary.rs and unary.rs for operations on non-numeric or non-bitwise-compatible operands. Fixtures: tests/fixtures/by-kind/invalid_operand/.

Fields

op: String

left: String

right: String

PossiblyInvalidOperand

Emitted when a union-typed operand has some non-numeric/non-stringifiable members. Fixtures: tests/fixtures/by-kind/invalid_operand/.

Fields

op: String

left: String

right: String

PossiblyNullOperand

Emitted when a divisor operand could be null (potential division by zero). Fixtures: tests/fixtures/by-kind/invalid_operand/.

Fields

op: String

ty: String

MismatchingDocblockReturnType

Not yet emitted. Fixtures: tests/fixtures/by-kind/mismatching_docblock_return_type/ (planned).

Fields

declared: String

inferred: String

MismatchingDocblockParamType

Not yet emitted. Fixtures: tests/fixtures/by-kind/mismatching_docblock_param_type/ (planned).

Fields

param: String

declared: String

inferred: String

TypeCheckMismatch

Emitted by mir-analyzer/src/stmt/mod.rs. Fixtures: tests/fixtures/by-kind/type_check_mismatch/.

Fields

var: String

expected: String

actual: String

InvalidArrayOffset

Not yet emitted. Fixtures: tests/fixtures/by-kind/invalid_array_offset/ (planned).

Fields

expected: String

actual: String

NonExistentArrayOffset

Not yet emitted. No fixtures yet.

Fields

key: String

PossiblyInvalidArrayOffset

Emitted by mir-analyzer/src/expr/assignment.rs. Fixtures: tests/fixtures/by-kind/possibly_invalid_array_offset/.

Fields

expected: String

actual: String

RedundantCondition

Emitted by mir-analyzer/src/stmt/control_flow.rs. Fixtures: tests/fixtures/by-kind/redundant_condition/.

Fields

ty: String

RedundantCast

Emitted by mir-analyzer/src/expr/casts.rs. Fixtures: tests/fixtures/by-kind/redundant_cast/.

Fields

from: String

to: String

UnnecessaryVarAnnotation

Not yet emitted. Fixtures: tests/fixtures/by-kind/unnecessary_var_annotation/ (planned).

Fields

var: String

TypeDoesNotContainType

Not yet emitted. Fixtures: tests/fixtures/by-kind/type_does_not_contain_type/ (planned).

Fields

left: String

right: String

ParadoxicalCondition

Emitted by mir-analyzer/src/stmt/control_flow.rs and mir-analyzer/src/expr/conditional.rs. Fixtures: tests/fixtures/by-kind/paradoxical_condition/.

Fields

value: String

UnusedVariable

Emitted by mir-analyzer/src/diagnostics.rs. Fixtures: tests/fixtures/by-kind/unused_variable/.

Fields

name: String

UnusedParam

Emitted by mir-analyzer/src/diagnostics.rs. Fixtures: tests/fixtures/by-kind/unused_param/.

Fields

name: String

UnreachableCode

Emitted by mir-analyzer/src/stmt/mod.rs. Fixtures: tests/fixtures/by-kind/unreachable_code/.

UnusedMethod

Emitted by mir-analyzer/src/dead_code.rs. Fixtures: tests/fixtures/by-kind/unused_method/.

Fields

class: String

method: String

UnusedProperty

Emitted by mir-analyzer/src/dead_code.rs. Fixtures: tests/fixtures/by-kind/unused_property/.

Fields

class: String

property: String

UnusedFunction

Emitted by mir-analyzer/src/dead_code.rs. Fixtures: tests/fixtures/by-kind/unused_function/.

Fields

name: String

UnusedForeachValue

Emitted by mir-analyzer/src/diagnostics.rs. Fixtures: tests/fixtures/by-kind/unused_foreach_value/.

Fields

name: String

ReadonlyPropertyAssignment

Emitted by mir-analyzer/src/expr/assignment.rs. Fixtures: tests/fixtures/by-kind/readonly_property_assignment/.

Fields

class: String

property: String

UnimplementedAbstractMethod

Emitted by mir-analyzer/src/class.rs. Fixtures: tests/fixtures/by-kind/unimplemented_abstract_method/.

Fields

class: String

method: String

UnimplementedInterfaceMethod

Emitted by mir-analyzer/src/class.rs. Fixtures: tests/fixtures/by-kind/unimplemented_interface_method/.

Fields

class: String

interface: String

method: String

MethodSignatureMismatch

Emitted by mir-analyzer/src/class.rs. Fixtures: tests/fixtures/by-kind/method_signature_mismatch/.

Fields

class: String

method: String

detail: String

OverriddenMethodAccess

Emitted by mir-analyzer/src/class.rs. Fixtures: tests/fixtures/by-kind/overridden_method_access/.

Fields

class: String

method: String

DirectConstructorCall

Emitted by mir-analyzer/src/call/method.rs. Fixtures: tests/fixtures/by-kind/undefined_method/direct_constructor_call*.phpt.

Fields

class: String

FinalClassExtended

Emitted by mir-analyzer/src/class.rs. Fixtures: tests/fixtures/by-kind/final_class_extended/.

Fields

parent: String

child: String

FinalMethodOverridden

Emitted by mir-analyzer/src/class.rs. Fixtures: tests/fixtures/by-kind/final_method_overridden/.

Fields

class: String

method: String

parent: String

AbstractInstantiation

Emitted by mir-analyzer/src/expr/objects.rs. Fixtures: tests/fixtures/by-kind/abstract_instantiation/.

Fields

class: String

InterfaceInstantiation

Emitted by mir-analyzer/src/expr/objects.rs. Fixtures: tests/fixtures/by-kind/abstract_instantiation/interface_instantiation.phpt.

Fields

class: String

InvalidOverride

Emitted by mir-analyzer/src/class.rs when #[Override] is declared but no overridable parent method exists. Fixtures: tests/fixtures/by-kind/method_signature_mismatch/.

Fields

class: String

method: String

detail: String

TaintedInput

Not yet emitted (generic taint sink; specific sinks use TaintedHtml, TaintedSql, TaintedShell). No fixtures yet.

Fields

sink: String

TaintedHtml

Emitted by mir-analyzer/src/call/function.rs. Fixtures: tests/fixtures/by-kind/tainted_html/.

TaintedSql

Emitted by mir-analyzer/src/call/function.rs. Fixtures: tests/fixtures/by-kind/tainted_sql/.

TaintedShell

Emitted by mir-analyzer/src/call/function.rs. Fixtures: tests/fixtures/by-kind/tainted_shell/.

InvalidTemplateParam

Emitted by mir-analyzer/src/call/function.rs. Fixtures: tests/fixtures/by-kind/invalid_template_param/.

Fields

name: String

expected_bound: String

actual: String

ShadowedTemplateParam

Emitted by mir-analyzer/src/call/method.rs. Fixtures: tests/fixtures/by-kind/shadowed_template_param/.

Fields

name: String

DeprecatedCall

Emitted by mir-analyzer/src/call/function.rs. Fixtures: tests/fixtures/by-kind/deprecated_call/.

Fields

name: String

message: Option<Arc<str>>

DeprecatedProperty

Emitted by mir-analyzer/src/expr/objects.rs. Fixtures: tests/fixtures/by-kind/undefined_property/deprecated_property_*.phpt.

Fields

class: String

property: String

message: Option<Arc<str>>

DeprecatedConstant

Emitted by mir-analyzer/src/expr/objects.rs. Fixtures: tests/fixtures/by-kind/deprecated_call/deprecated_class_const_fetch*.phpt.

Fields

class: String

constant: String

message: Option<Arc<str>>

DeprecatedInterface

Emitted by mir-analyzer/src/class.rs. Fixtures: tests/fixtures/by-kind/deprecated_class/deprecated_interface*.phpt.

Fields

name: String

message: Option<Arc<str>>

DeprecatedTrait

Emitted by mir-analyzer/src/class.rs. Fixtures: tests/fixtures/by-kind/deprecated_trait/.

Fields

name: String

message: Option<Arc<str>>

DeprecatedMethodCall

Emitted by mir-analyzer/src/call/method.rs. Fixtures: tests/fixtures/by-kind/deprecated_method_call/.

Fields

class: String

method: String

message: Option<Arc<str>>

DeprecatedMethod

Emitted by mir-analyzer/src/call/method.rs. Fixtures: tests/fixtures/by-kind/deprecated_method/.

Fields

class: String

method: String

message: Option<Arc<str>>

DeprecatedClass

Emitted by mir-analyzer/src/class.rs. Fixtures: tests/fixtures/by-kind/deprecated_class/.

Fields

name: String

message: Option<Arc<str>>

InternalMethod

Emitted by mir-analyzer/src/call/method.rs. Fixtures: tests/fixtures/by-kind/internal_method/.

Fields

class: String

method: String

MissingReturnType

Not yet emitted. Fixtures: tests/fixtures/by-kind/missing_return_type/ (planned).

Fields

fn_name: String

MissingParamType

Not yet emitted. Fixtures: tests/fixtures/by-kind/missing_param_type/ (planned).

Fields

fn_name: String

param: String

InvalidThrow

Emitted by mir-analyzer/src/stmt/flow.rs. Fixtures: tests/fixtures/by-kind/invalid_throw/.

Fields

ty: String

InvalidCatch

Emitted by mir-analyzer/src/stmt/control_flow.rs. Fixtures: tests/fixtures/by-kind/invalid_catch/.

Fields

ty: String

MissingThrowsDocblock

Emitted by mir-analyzer/src/stmt/flow.rs. Fixtures: tests/fixtures/by-kind/missing_throws_docblock/.

Fields

class: String

ImplicitToStringCast

Emitted by mir-analyzer/src/stmt/expressions.rs. Fixtures: tests/fixtures/by-kind/implicit_to_string_cast/.

Fields

class: String

ImplicitFloatToIntCast

Emitted by mir-analyzer/src/call/args.rs. Fixtures: tests/fixtures/by-kind/implicit_float_to_int_cast/.

Fields

from: String

ParseError

Emitted by mir-analyzer/src/parser/mod.rs. Fixtures: tests/fixtures/by-kind/parse_error/.

Fields

message: String

InvalidDocblock

Emitted by mir-analyzer/src/collector/annotation.rs. Fixtures: tests/fixtures/by-kind/invalid_docblock/.

Fields

message: String

MixedArgument

Not yet emitted. Fixtures: tests/fixtures/by-kind/mixed_argument/ (planned).

Fields

param: String

fn_name: String

MixedAssignment

Not yet emitted. Fixtures: tests/fixtures/by-kind/mixed_assignment/ (planned).

Fields

var: String

MixedMethodCall

Emitted by mir-analyzer/src/call/method.rs. Fixtures: tests/fixtures/by-kind/mixed_method_call/.

Fields

method: String

MixedPropertyFetch

Not yet emitted. Fixtures: tests/fixtures/by-kind/mixed_property_fetch/ (planned).

Fields

property: String

MixedClone

Emitted by mir-analyzer/src/expr/mod.rs. Fixtures: tests/fixtures/by-kind/mixed_clone/.

InvalidClone

clone of a value that is definitely not an object (e.g. int, string). Emitted by mir-analyzer/src/expr/mod.rs. Fixtures: tests/fixtures/by-kind/mixed_clone/.

Fields

ty: String

PossiblyInvalidClone

clone of a union where some members are not objects (e.g. int|Exception). Emitted by mir-analyzer/src/expr/mod.rs. Fixtures: tests/fixtures/by-kind/mixed_clone/.

Fields

ty: String

InvalidToString

A __toString method that does not return a string. Emitted by mir-analyzer/src/body_analysis.rs. Fixtures: tests/fixtures/by-kind/implicit_to_string_cast/.

Fields

class: String

CircularInheritance

Emitted by mir-analyzer/src/class.rs. Fixtures: tests/fixtures/by-kind/circular_inheritance/.

Fields

class: String

InvalidTraitUse

Emitted by mir-analyzer/src/body_analysis.rs. Fixtures: tests/fixtures/by-kind/invalid_trait_use/.

Fields

trait_name: String

reason: String

Implementations

impl IssueKind

pub fn default_severity(&self) -> Severity

Default severity for this issue kind.

pub fn code(&self) -> &'static str

Stable error code (e.g. "MIR0005").

Codes are assigned in bands by category and are part of the public API: once a code ships, it must never be reused for a different issue kind. New variants take the next free slot in their band; obsolete variants retire their code (the slot stays burnt). Bands have headroom for growth.

Bands:

Range	Category
0001 – 0099	Undefined symbols
0100 – 0199	Nullability
0200 – 0299	Type mismatches
0300 – 0399	Array / offset
0400 – 0499	Redundancy
0500 – 0599	Dead code
0600 – 0699	Readonly
0700 – 0799	Inheritance
0800 – 0899	Security (taint)
0900 – 0999	Generics
1000 – 1099	Deprecation / internal
1100 – 1199	Missing types / docblocks
1200 – 1299	Mixed
1300 – 1399	Trait
1400 – 1499	Parse
1500 – 1599	Other

pub fn name(&self) -> &'static str

Identifier name used in config and @psalm-suppress / @suppress annotations.

pub fn message(&self) -> String

Human-readable message for this issue.

Trait Implementations

impl Clone for IssueKind

fn clone(&self) -> IssueKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IssueKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IssueKind

fn deserialize<__D>( __deserializer: __D, ) -> Result<IssueKind, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for IssueKind

impl PartialEq for IssueKind

fn eq(&self, other: &IssueKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for IssueKind

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for IssueKind