Type Alias FallbackToOrBlocks<T, F, SK>

FallbackToOrBlocks: ResolveOrBlockEntityNames<T, F> extends infer Names
    ? ShouldNarrow<T, Names> extends true
        ? NarrowByNames<T, Names & string>
        : FallbackToSK<T, SK>
    : FallbackToSK<T, SK>

Falls back to $or block resolution (by type or filter keys), then SK, then full union.

Type Parameters