Remove any properties from the base HTMLFormElement when computin…

…g JSX props

.changeset/metal-snakes-carry.md

@@ -0,0 +1,5 @@
+---
+"@chialab/dna": patch
+---
+
+Remove `any` properties from the base `HTMLFormElement` when computing JSX props.

src/Component.ts

@@ -362,7 +362,7 @@ export const extend = <T extends HTMLElement, C extends { new (...args: any[]):
             cancelable?: boolean,
             composed?: boolean
         ) {
-            return dispatchEvent(this, event as string, detail, bubbles, cancelable, composed);
+            return dispatchEvent(this, event, detail, bubbles, cancelable, composed);
         }
 
         /**

src/JSX.ts

@@ -15,6 +15,11 @@ const V_SYM: unique symbol = Symbol();
  */
 type IfMethod<T, K extends keyof T, A, B> = T[K] extends Function ? A : B;
 
+/**
+ * Check if a property is any.
+ */
+type IfAny<T, K extends keyof T, A, B> = 0 extends 1 & T[K] ? A : B;
+
 /**
  * Exclude component mixin properties.
  */
@@ -47,13 +52,21 @@ type ReservedKeys =
     | Exclude<keyof Element, 'id' | 'className'>
     | keyof ElementCSSInlineStyle;
 
+/**
+ * Extract known keys of an Element class.
+ */
+type KnownKeys<T> = keyof {
+    [K in keyof T as K extends string ? IfAny<T, K, never, K> : never]: unknown;
+};
+
 /**
  * Pick defined properties of a component.
  */
-export type Props<T extends HTML.Element> = ElementAttributes<T> & {
-    [K in keyof T as K extends ReservedKeys
-        ? never
-        : IfMethod<T, K, never, K extends keyof BaseClass<T> ? never : K>]?: T[K];
+export type Props<
+    T extends HTML.Element,
+    InvalidKeys = ReservedKeys | KnownKeys<BaseClass<T>>,
+> = ElementAttributes<T> & {
+    [K in keyof T as K extends InvalidKeys ? never : IfMethod<T, K, never, K>]?: T[K];
 };
 
 /**