Class Generated::AssocTypeArg

An associated type argument in a path.

For example:

fn process_cloneable<T>(iter: T)
where
    T: Iterator<Item: Clone>
//              ^^^^^^^^^^^
{
    // ...
}

INTERNAL: Do not reference the Generated::AssocTypeArg class directly. Use the subclass AssocTypeArg, where the following predicates are available.

Import path

import codeql.rust.elements.internal.generated.AssocTypeArg

Direct supertypes

Indirect supertypes

Known direct subtypes

AssocTypeArg

Predicates

getAPrimaryQlClass	Gets the name of a primary CodeQL class to which this element belongs.
getConstArg	Gets the const argument of this assoc type argument, if it exists.
getGenericArgList	Gets the generic argument list of this assoc type argument, if it exists.
getIdentifier	Gets the identifier of this assoc type argument, if it exists.
getParamList	Gets the parameter list of this assoc type argument, if it exists.
getRetType	Gets the ret type of this assoc type argument, if it exists.
getReturnTypeSyntax	Gets the return type syntax of this assoc type argument, if it exists.
getTypeBoundList	Gets the type bound list of this assoc type argument, if it exists.
getTypeRepr	Gets the type representation of this assoc type argument, if it exists.
hasConstArg	Holds if `getConstArg()` exists.
hasGenericArgList	Holds if `getGenericArgList()` exists.
hasIdentifier	Holds if `getIdentifier()` exists.
hasParamList	Holds if `getParamList()` exists.
hasRetType	Holds if `getRetType()` exists.
hasReturnTypeSyntax	Holds if `getReturnTypeSyntax()` exists.
hasTypeBoundList	Holds if `getTypeBoundList()` exists.
hasTypeRepr	Holds if `getTypeRepr()` exists.

Inherited predicates

fromSource	Holds if this element is from source code.	from Locatable
getACfgNode	Gets a control flow node for this AST node, if any.	from AstNode
getEnclosingBlock	Gets the block that encloses this node, if any.	from AstNode
getEnclosingCallable	Gets the immediately enclosing callable of this node, if any.	from AstNode
getEnclosingCfgScope	Gets the CFG scope that encloses this node, if any.	from AstNode
getFile	Gets the primary file where this element occurs.	from Locatable
getLocation		from Locatable
getParentNode	Gets the nearest enclosing parent of this node, which is also an `AstNode`, if any.	from AstNode
getPrimaryQlClasses	Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.	from Element
getResolveStep	Gets the most immediate element that should substitute this element in the explicit AST, if any. Classes can override this to indicate this node should be in the “hidden” AST, mostly reserved for conversions and syntactic sugar nodes like parentheses.	from Element
hasEnclosingCfgScope	Holds if this node is inside a CFG scope.	from AstNode
isFromMacroExpansion	Holds if this node exists only as the result of a macro expansion.	from AstNode
isInMacroExpansion	Holds if this node is inside a macro expansion.	from AstNode
isUnknown		from Element
resolve	Gets the element that should substitute this element in the explicit AST, applying `getResolveStep` transitively.	from Element
toAbbreviatedString	INTERNAL: Do not use.	from Element
toString	Gets the string representation of this element.	from Element
toStringImpl	INTERNAL: Do not use.	from Element