INTERNAL: Do not use. A predicate in a where clause.
For example:
fn foo<T, U>(t: T, u: U) where T: Debug, U: Clone {}
// ^^^^^^^^ ^^^^^^^^
fn bar<T>(value: T) where for<'a> T: From<&'a str> {}
// ^^^^^^^^^^^^^^^^^^^^^^^^
Import path
import codeql.rust.elements.internal.generated.RawDirect supertypes
Indirect supertypes
Predicates
| getForBinder | Gets the for binder of this where pred, if it exists. |
| getLifetime | Gets the lifetime of this where pred, if it exists. |
| getTypeBoundList | Gets the type bound list of this where pred, if it exists. |
| getTypeRepr | Gets the type representation of this where pred, if it exists. |
| toString |