BUPKIS
    Preparing search index...

    Type Alias SpreadAssertions<T>

    SpreadAssertions: (
        T extends InvariantOf<infer U extends AnyAssertion> ? U : never
    )[]

    Type Parameters