Stricter types

member.ts

@@ -12,7 +12,7 @@ import type { Struct } from './struct.ts';
  */
 export function member<T extends typeof Struct>(
 	StructT: T,
-	name: keyof T['prototype'],
+	name: Exclude<keyof T['prototype'], keyof Struct>,
 	byteOffset: number,
 	byteLength: number,
 	littleEndian: boolean | null,

member/f32.ts

@@ -13,7 +13,7 @@ import { member } from '../member.ts';
  */
 export function memberF32<T extends typeof Struct>(
 	StructT: T,
-	name: KeyofExtends<T['prototype'], number>,
+	name: Exclude<KeyofExtends<T['prototype'], number>, keyof Struct>,
 	byteOffset: number,
 	littleEndian: boolean | null = null,
 ): number {

member/f64.ts

@@ -13,7 +13,7 @@ import { member } from '../member.ts';
  */
 export function memberF64<T extends typeof Struct>(
 	StructT: T,
-	name: KeyofExtends<T['prototype'], number>,
+	name: Exclude<KeyofExtends<T['prototype'], number>, keyof Struct>,
 	byteOffset: number,
 	littleEndian: boolean | null = null,
 ): number {

member/i16.ts

@@ -13,7 +13,7 @@ import { member } from '../member.ts';
  */
 export function memberI16<T extends typeof Struct>(
 	StructT: T,
-	name: KeyofExtends<T['prototype'], number>,
+	name: Exclude<KeyofExtends<T['prototype'], number>, keyof Struct>,
 	byteOffset: number,
 	littleEndian: boolean | null = null,
 ): number {
@@ -46,7 +46,7 @@ export function memberI16<T extends typeof Struct>(
  */
 export function memberU16<T extends typeof Struct>(
 	StructT: T,
-	name: KeyofExtends<T['prototype'], number>,
+	name: Exclude<KeyofExtends<T['prototype'], number>, keyof Struct>,
 	byteOffset: number,
 	littleEndian: boolean | null = null,
 ): number {

member/i24.ts

@@ -14,7 +14,7 @@ import { member } from '../member.ts';
  */
 export function memberI24<T extends typeof Struct>(
 	StructT: T,
-	name: KeyofExtends<T['prototype'], number>,
+	name: Exclude<KeyofExtends<T['prototype'], number>, keyof Struct>,
 	byteOffset: number,
 	littleEndian: boolean | null = null,
 ): number {
@@ -49,7 +49,7 @@ export function memberI24<T extends typeof Struct>(
  */
 export function memberU24<T extends typeof Struct>(
 	StructT: T,
-	name: KeyofExtends<T['prototype'], number>,
+	name: Exclude<KeyofExtends<T['prototype'], number>, keyof Struct>,
 	byteOffset: number,
 	littleEndian: boolean | null = null,
 ): number {

member/i32.ts

@@ -13,7 +13,7 @@ import { member } from '../member.ts';
  */
 export function memberI32<T extends typeof Struct>(
 	StructT: T,
-	name: KeyofExtends<T['prototype'], number>,
+	name: Exclude<KeyofExtends<T['prototype'], number>, keyof Struct>,
 	byteOffset: number,
 	littleEndian: boolean | null = null,
 ): number {
@@ -46,7 +46,7 @@ export function memberI32<T extends typeof Struct>(
  */
 export function memberU32<T extends typeof Struct>(
 	StructT: T,
-	name: KeyofExtends<T['prototype'], number>,
+	name: Exclude<KeyofExtends<T['prototype'], number>, keyof Struct>,
 	byteOffset: number,
 	littleEndian: boolean | null = null,
 ): number {

member/i64.ts

@@ -13,7 +13,7 @@ import { member } from '../member.ts';
  */
 export function memberI64<T extends typeof Struct>(
 	StructT: T,
-	name: KeyofExtends<T['prototype'], bigint>,
+	name: Exclude<KeyofExtends<T['prototype'], bigint>, keyof Struct>,
 	byteOffset: number,
 	littleEndian: boolean | null = null,
 ): number {
@@ -46,7 +46,7 @@ export function memberI64<T extends typeof Struct>(
  */
 export function memberU64<T extends typeof Struct>(
 	StructT: T,
-	name: KeyofExtends<T['prototype'], bigint>,
+	name: Exclude<KeyofExtends<T['prototype'], bigint>, keyof Struct>,
 	byteOffset: number,
 	littleEndian: boolean | null = null,
 ): number {

member/i8.ts

@@ -12,7 +12,7 @@ import { member } from '../member.ts';
  */
 export function memberI8<T extends typeof Struct>(
 	StructT: T,
-	name: KeyofExtends<T['prototype'], number>,
+	name: Exclude<KeyofExtends<T['prototype'], number>, keyof Struct>,
 	byteOffset: number,
 ): number {
 	Object.defineProperty(StructT.prototype, name, {
@@ -36,7 +36,7 @@ export function memberI8<T extends typeof Struct>(
  */
 export function memberU8<T extends typeof Struct>(
 	StructT: T,
-	name: KeyofExtends<T['prototype'], number>,
+	name: Exclude<KeyofExtends<T['prototype'], number>, keyof Struct>,
 	byteOffset: number,
 ): number {
 	Object.defineProperty(StructT.prototype, name, {
@@ -62,7 +62,10 @@ export function memberU8<T extends typeof Struct>(
 export function memberI8A<T extends typeof Struct>(
 	count: number,
 	StructT: T,
-	name: ReadonlyKeyofExtends<T['prototype'], Int8Array>,
+	name: Exclude<
+		ReadonlyKeyofExtends<T['prototype'], Int8Array>,
+		keyof Struct
+	>,
 	byteOffset: number,
 ): number {
 	Object.defineProperty(StructT.prototype, name, {
@@ -89,7 +92,10 @@ export function memberI8A<T extends typeof Struct>(
 export function memberU8A<T extends typeof Struct>(
 	count: number,
 	StructT: T,
-	name: ReadonlyKeyofExtends<T['prototype'], Uint8Array>,
+	name: Exclude<
+		ReadonlyKeyofExtends<T['prototype'], Uint8Array>,
+		keyof Struct
+	>,
 	byteOffset: number,
 ): number {
 	Object.defineProperty(StructT.prototype, name, {

member/struct.ts

@@ -15,7 +15,10 @@ import { member } from '../member.ts';
 export function memberStruct<M extends typeof Struct, T extends typeof Struct>(
 	StructM: M,
 	StructT: T,
-	name: ReadonlyKeyofExtends<T['prototype'], M['prototype']>,
+	name: Exclude<
+		ReadonlyKeyofExtends<T['prototype'], M['prototype']>,
+		keyof Struct
+	>,
 	byteOffset: number,
 	littleEndian: boolean | null = null,
 ): number {