CodeQL library for Rust
codeql/rust-all 0.2.7 (changelog, source)
Search

Module WherePred

This module provides the public class WherePred.

Import path

import codeql.rust.elements.WherePred

Imports

AstNode

This module provides the public class AstNode.

ForBinder

This module provides the public class ForBinder.

Lifetime

This module provides the public class Lifetime.

TypeBoundList

This module provides the public class TypeBoundList.

TypeRepr

This module provides the public class TypeRepr.

Aliases

WherePred

A predicate in a where clause.