import React from "react";
function F(props: { foo: string }) {}
; // error: missing `foo`
; // error: number ~> string
; // ok
// props subtyping is property-wise covariant
function G(props: { foo: string|numner }) {}
; // ok
var Z = 0;
; // error, expected React component