BUPKIS
    Preparing search index...

    Type Alias LeadingPhraseSuggestions<Assertion>

    LeadingPhraseSuggestions: Assertion extends InvariantOf<
        infer U extends AnyAssertion,
    >
        ? LeadingPhraseFromParts<U["parts"]>
        : never

    Union of every phrase literal (and its 'not '-negated form) that can start an assertion — i.e. occupy the leading phrase position (the first argument after the subject) across the assertions in Assertion.

    Unlike PhraseSuggestions, this deliberately excludes interior phrases such as the 'and' in 'to be between' X 'and' Y or the 'satisfying' in 'to throw a' Ctor 'satisfying' X, none of which can legitimately begin an assertion chain. It drives position-0 autocompletion in ExpectFunction/ExpectAsyncFunction so the very first suggestion list is not polluted by these connectors.

    Type Parameters