export type RequireAWithB = (Omit & { [K in A]?: never; }) | (T & Required>) | (T & Required>);