Trait jlrs::layout::typecheck::Typecheck

source · [−]

pub unsafe trait Typecheck { }

Expand description

This trait is used in combination with Value::is and DataType::is to check if that property holds true.

Safety: If this trait is implemented for some type which also implements Unbox, the trait method typecheck must only return true if it’s guaranteed that Unbox::unbox can safely be called for values whose type is that method’s argument.

Implementations on Foreign Types

source

impl Typecheck for f16

Implementors

source

impl Typecheck for Bool

source

impl Typecheck for Char

source

impl Typecheck for Nothing

source

impl Typecheck for SSAValue

source

impl Typecheck for Tuple0

source

impl Typecheck for Tuple

source

impl Typecheck for EmptyUnion

source

impl Typecheck for Function<'_, '_>

source

impl Typecheck for OpaqueClosure<'_>

source

impl Typecheck for Abstract

source

impl Typecheck for AbstractRef

source

impl Typecheck for Bits

source

impl Typecheck for CodeInfo

source

impl Typecheck for Concrete

source

impl Typecheck for DispatchTuple

source

impl Typecheck for GlobalRef

source

impl Typecheck for GotoNode

source

impl Typecheck for Immutable

source

impl Typecheck for Intrinsic

source

impl Typecheck for LLVMPointer

source

impl Typecheck for LineNode

source

impl Typecheck for Mutable

source

impl Typecheck for NamedTuple

source

impl Typecheck for NewVarNode

source

impl Typecheck for PhiCNode

source

impl Typecheck for PhiNode

source

impl Typecheck for PiNode

source

impl Typecheck for Pointer

source

impl Typecheck for PrimitiveType

source

impl Typecheck for QuoteNode

source

impl Typecheck for Singleton

source

impl Typecheck for Slot

source

impl Typecheck for StructType

source

impl Typecheck for Type

source

impl Typecheck for TypeType

source

impl Typecheck for UpsilonNode

source

impl Typecheck for VecElement

source

impl<'frame> Typecheck for DataType<'frame>

source

impl<'scope> Typecheck for CodeInstance<'scope>

source

impl<'scope> Typecheck for Expr<'scope>

source

impl<'scope> Typecheck for Method<'scope>

source

impl<'scope> Typecheck for MethodInstance<'scope>

source

impl<'scope> Typecheck for MethodMatch<'scope>

source

impl<'scope> Typecheck for MethodTable<'scope>

source

impl<'scope> Typecheck for TypeMapEntry<'scope>

source

impl<'scope> Typecheck for TypeMapLevel<'scope>

source

impl<'scope> Typecheck for Vararg<'scope>

source

impl<'scope> Typecheck for WeakRef<'scope>

source

impl<'scope> Typecheck for SimpleVector<'scope>

source

impl<'scope> Typecheck for JuliaString<'scope>

source

impl<'scope> Typecheck for Symbol<'scope>

source

impl<'scope> Typecheck for Task<'scope>

source

impl<'scope> Typecheck for TypeName<'scope>

source

impl<'scope> Typecheck for TypeVar<'scope>

source

impl<'scope> Typecheck for Union<'scope>

source

impl<'scope> Typecheck for UnionAll<'scope>

source

impl<'scope, 'data> Typecheck for Array<'scope, 'data>

source

impl<'scope, 'data, T: Clone + ValidLayout> Typecheck for TypedArray<'scope, 'data, T>

source

impl<'target> Typecheck for Module<'target>

source

impl<T1> Typecheck for Tuple1<T1> where
T1: ValidLayout + Clone + Debug,

source

impl<T1, T2> Typecheck for Tuple2<T1, T2> where
T1: ValidLayout + Clone + Debug,
T2: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3> Typecheck for Tuple3<T1, T2, T3> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4> Typecheck for Tuple4<T1, T2, T3, T4> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5> Typecheck for Tuple5<T1, T2, T3, T4, T5> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6> Typecheck for Tuple6<T1, T2, T3, T4, T5, T6> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7> Typecheck for Tuple7<T1, T2, T3, T4, T5, T6, T7> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8> Typecheck for Tuple8<T1, T2, T3, T4, T5, T6, T7, T8> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9> Typecheck for Tuple9<T1, T2, T3, T4, T5, T6, T7, T8, T9> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> Typecheck for Tuple10<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> Typecheck for Tuple11<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> Typecheck for Tuple12<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13> Typecheck for Tuple13<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14> Typecheck for Tuple14<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> Typecheck for Tuple15<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> Typecheck for Tuple16<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17> Typecheck for Tuple17<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18> Typecheck for Tuple18<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19> Typecheck for Tuple19<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20> Typecheck for Tuple20<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21> Typecheck for Tuple21<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,
    T21: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22> Typecheck for Tuple22<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,
    T21: ValidLayout + Clone + Debug,
    T22: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23> Typecheck for Tuple23<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,
    T21: ValidLayout + Clone + Debug,
    T22: ValidLayout + Clone + Debug,
    T23: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24> Typecheck for Tuple24<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,
    T21: ValidLayout + Clone + Debug,
    T22: ValidLayout + Clone + Debug,
    T23: ValidLayout + Clone + Debug,
    T24: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25> Typecheck for Tuple25<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,
    T21: ValidLayout + Clone + Debug,
    T22: ValidLayout + Clone + Debug,
    T23: ValidLayout + Clone + Debug,
    T24: ValidLayout + Clone + Debug,
    T25: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26> Typecheck for Tuple26<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,
    T21: ValidLayout + Clone + Debug,
    T22: ValidLayout + Clone + Debug,
    T23: ValidLayout + Clone + Debug,
    T24: ValidLayout + Clone + Debug,
    T25: ValidLayout + Clone + Debug,
    T26: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27> Typecheck for Tuple27<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,
    T21: ValidLayout + Clone + Debug,
    T22: ValidLayout + Clone + Debug,
    T23: ValidLayout + Clone + Debug,
    T24: ValidLayout + Clone + Debug,
    T25: ValidLayout + Clone + Debug,
    T26: ValidLayout + Clone + Debug,
    T27: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28> Typecheck for Tuple28<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,
    T21: ValidLayout + Clone + Debug,
    T22: ValidLayout + Clone + Debug,
    T23: ValidLayout + Clone + Debug,
    T24: ValidLayout + Clone + Debug,
    T25: ValidLayout + Clone + Debug,
    T26: ValidLayout + Clone + Debug,
    T27: ValidLayout + Clone + Debug,
    T28: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29> Typecheck for Tuple29<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,
    T21: ValidLayout + Clone + Debug,
    T22: ValidLayout + Clone + Debug,
    T23: ValidLayout + Clone + Debug,
    T24: ValidLayout + Clone + Debug,
    T25: ValidLayout + Clone + Debug,
    T26: ValidLayout + Clone + Debug,
    T27: ValidLayout + Clone + Debug,
    T28: ValidLayout + Clone + Debug,
    T29: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30> Typecheck for Tuple30<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,
    T21: ValidLayout + Clone + Debug,
    T22: ValidLayout + Clone + Debug,
    T23: ValidLayout + Clone + Debug,
    T24: ValidLayout + Clone + Debug,
    T25: ValidLayout + Clone + Debug,
    T26: ValidLayout + Clone + Debug,
    T27: ValidLayout + Clone + Debug,
    T28: ValidLayout + Clone + Debug,
    T29: ValidLayout + Clone + Debug,
    T30: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31> Typecheck for Tuple31<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,
    T21: ValidLayout + Clone + Debug,
    T22: ValidLayout + Clone + Debug,
    T23: ValidLayout + Clone + Debug,
    T24: ValidLayout + Clone + Debug,
    T25: ValidLayout + Clone + Debug,
    T26: ValidLayout + Clone + Debug,
    T27: ValidLayout + Clone + Debug,
    T28: ValidLayout + Clone + Debug,
    T29: ValidLayout + Clone + Debug,
    T30: ValidLayout + Clone + Debug,
    T31: ValidLayout + Clone + Debug,

source

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> Typecheck for Tuple32<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> where
    T1: ValidLayout + Clone + Debug,
    T2: ValidLayout + Clone + Debug,
    T3: ValidLayout + Clone + Debug,
    T4: ValidLayout + Clone + Debug,
    T5: ValidLayout + Clone + Debug,
    T6: ValidLayout + Clone + Debug,
    T7: ValidLayout + Clone + Debug,
    T8: ValidLayout + Clone + Debug,
    T9: ValidLayout + Clone + Debug,
    T10: ValidLayout + Clone + Debug,
    T11: ValidLayout + Clone + Debug,
    T12: ValidLayout + Clone + Debug,
    T13: ValidLayout + Clone + Debug,
    T14: ValidLayout + Clone + Debug,
    T15: ValidLayout + Clone + Debug,
    T16: ValidLayout + Clone + Debug,
    T17: ValidLayout + Clone + Debug,
    T18: ValidLayout + Clone + Debug,
    T19: ValidLayout + Clone + Debug,
    T20: ValidLayout + Clone + Debug,
    T21: ValidLayout + Clone + Debug,
    T22: ValidLayout + Clone + Debug,
    T23: ValidLayout + Clone + Debug,
    T24: ValidLayout + Clone + Debug,
    T25: ValidLayout + Clone + Debug,
    T26: ValidLayout + Clone + Debug,
    T27: ValidLayout + Clone + Debug,
    T28: ValidLayout + Clone + Debug,
    T29: ValidLayout + Clone + Debug,
    T30: ValidLayout + Clone + Debug,
    T31: ValidLayout + Clone + Debug,
    T32: ValidLayout + Clone + Debug,

Trait jlrs::layout::typecheck::Typecheck

Implementations on Foreign Types

impl Typecheck for i8

impl Typecheck for i16

impl Typecheck for i32

impl Typecheck for i64

impl Typecheck for isize

impl Typecheck for u8

impl Typecheck for u16

impl Typecheck for u32

impl Typecheck for u64

impl Typecheck for usize

impl Typecheck for f32

impl Typecheck for f64

impl Typecheck for bool

impl Typecheck for char

impl Typecheck for *mut c_void

impl<T: IntoJulia> Typecheck for *mut T

impl Typecheck for String

impl Typecheck for f16

Implementors

impl Typecheck for Bool

impl Typecheck for Char

impl Typecheck for Nothing

impl Typecheck for SSAValue

impl Typecheck for Tuple0

impl Typecheck for Tuple

impl Typecheck for EmptyUnion

impl Typecheck for Function<'_, '_>

impl Typecheck for OpaqueClosure<'_>

impl Typecheck for Abstract

impl Typecheck for AbstractRef

impl Typecheck for Bits

impl Typecheck for CodeInfo

impl Typecheck for Concrete

impl Typecheck for DispatchTuple

impl Typecheck for GlobalRef

impl Typecheck for GotoNode

impl Typecheck for Immutable

impl Typecheck for Intrinsic

impl Typecheck for LLVMPointer

impl Typecheck for LineNode

impl Typecheck for Mutable

impl Typecheck for NamedTuple

impl Typecheck for NewVarNode

impl Typecheck for PhiCNode

impl Typecheck for PhiNode

impl Typecheck for PiNode

impl Typecheck for Pointer

impl Typecheck for PrimitiveType

impl Typecheck for QuoteNode

impl Typecheck for Singleton

impl Typecheck for Slot

impl Typecheck for StructType

impl Typecheck for Type

impl Typecheck for TypeType

impl Typecheck for UpsilonNode

impl Typecheck for VecElement

impl<'frame> Typecheck for DataType<'frame>

impl<'scope> Typecheck for CodeInstance<'scope>

impl<'scope> Typecheck for Expr<'scope>

impl<'scope> Typecheck for Method<'scope>

impl<'scope> Typecheck for MethodInstance<'scope>

impl<'scope> Typecheck for MethodMatch<'scope>

impl<'scope> Typecheck for MethodTable<'scope>

impl<'scope> Typecheck for TypeMapEntry<'scope>

impl<'scope> Typecheck for TypeMapLevel<'scope>

impl<'scope> Typecheck for Vararg<'scope>

impl<'scope> Typecheck for WeakRef<'scope>

impl<'scope> Typecheck for SimpleVector<'scope>

impl<'scope> Typecheck for JuliaString<'scope>

impl<'scope> Typecheck for Symbol<'scope>

impl<'scope> Typecheck for Task<'scope>

impl<'scope> Typecheck for TypeName<'scope>

impl<'scope> Typecheck for TypeVar<'scope>

impl<'scope> Typecheck for Union<'scope>

impl<'scope> Typecheck for UnionAll<'scope>

impl<'scope, 'data> Typecheck for Array<'scope, 'data>

impl<'scope, 'data, T: Clone + ValidLayout> Typecheck for TypedArray<'scope, 'data, T>

impl<'target> Typecheck for Module<'target>

impl<T1> Typecheck for Tuple1<T1> where
T1: ValidLayout + Clone + Debug,

impl<T1, T2> Typecheck for Tuple2<T1, T2> where
T1: ValidLayout + Clone + Debug,
T2: ValidLayout + Clone + Debug,

impl<T1, T2, T3> Typecheck for Tuple3<T1, T2, T3> where
T1: ValidLayout + Clone + Debug,
T2: ValidLayout + Clone + Debug,
T3: ValidLayout + Clone + Debug,

impl<T1, T2, T3, T4> Typecheck for Tuple4<T1, T2, T3, T4> where
T1: ValidLayout + Clone + Debug,
T2: ValidLayout + Clone + Debug,
T3: ValidLayout + Clone + Debug,
T4: ValidLayout + Clone + Debug,

impl<T1, T2, T3, T4, T5> Typecheck for Tuple5<T1, T2, T3, T4, T5> where
T1: ValidLayout + Clone + Debug,
T2: ValidLayout + Clone + Debug,
T3: ValidLayout + Clone + Debug,
T4: ValidLayout + Clone + Debug,
T5: ValidLayout + Clone + Debug,

impl<T1, T2, T3, T4, T5, T6> Typecheck for Tuple6<T1, T2, T3, T4, T5, T6> where
T1: ValidLayout + Clone + Debug,
T2: ValidLayout + Clone + Debug,
T3: ValidLayout + Clone + Debug,
T4: ValidLayout + Clone + Debug,
T5: ValidLayout + Clone + Debug,
T6: ValidLayout + Clone + Debug,