Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 7 additions & 5 deletions packages/language-core/types/template-helpers.d.ts
Original file line number Diff line number Diff line change
Expand Up @@ -106,11 +106,13 @@ declare global {
};
type __VLS_PrettifyGlobal<T> = (T extends any ? { [K in keyof T]: T[K] } : { [K in keyof T as K]: T[K] }) & {};

function __VLS_vFor<T>(source: T): T extends number ? [number, number][]
: T extends string ? [string, number][]
: T extends (infer U)[] ? [U, number][]
: T extends Iterable<infer V> ? [V, number][]
: [T[keyof T], `${keyof T & (string | number)}`, number][];
function __VLS_vFor<T>(source: T): (
T extends number ? [number, number]
: T extends string ? [string, number]
: T extends (infer U)[] ? [U, number]
: T extends Iterable<infer V> ? [V, number]
: [T[keyof T], Exclude<keyof T, symbol>, number]
)[];
function __VLS_vSlot<S, D extends S>(slot: S, decl?: D): D extends (...args: infer P) => any ? P : any[];
function __VLS_asFunctionalDirective<T, ObjectDirective>(
dir: T,
Expand Down
14 changes: 13 additions & 1 deletion test-workspace/tsc/v-for/main.vue
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@
<!-- recordNumberKey -->
<div v-for="(val, key, index) in recordNumberKey">
{{ exactType(val, {} as string) }}
{{ exactType(key, {} as '1' | '2' | '3') }}
{{ exactType(key, {} as 1 | 2 | 3) }}
{{ exactType(index, {} as number) }}
</div>
<!-- recordUnionKey -->
Expand All @@ -49,6 +49,12 @@
{{ exactType(key, {} as 'a' | 'b') }}
{{ exactType(index, {} as number) }}
</div>
<!-- recordEnumKey -->
<div v-for="(val, key, index) in recordEnumKey">
{{ exactType(val, {} as string) }}
{{ exactType(key, {} as Enum) }}
{{ exactType(index, {} as number) }}
</div>
<!-- any -->
<div v-for="(val, index) in _any">
{{ exactType(val, {} as any) }}
Expand All @@ -59,12 +65,18 @@
<script setup lang="ts">
import { exactType } from '../shared';

enum Enum {
A = 1,
B = '2',
}

const arr = ['a', 'b'] as const;
const map = new Map<string, number>();
const obj = { a: '', b: 0 };
const objUnion = { a: '' } as { a: string } | { a: string, b: number };
const record: Record<string, string> = { a: '' };
const recordNumberKey: Record<1 | 2 | 3, string> = { 1: '', 2: '', 3: '' };
const recordUnionKey: Record<'a' | 'b', string> = { 'a': '', 'b': '' };
const recordEnumKey: Record<Enum, string> = { [Enum.A]: '', [Enum.B]: '' };
const _any = {} as any;
</script>