{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"types"}]}
types have different ABI, size or alignment."##,
        description: r##"Checks for transmutes between collections whose
        default_severity: Severity::Allow,