#include <poly-int.h>
SFINAE class that makes T3 available as "type" if both T1 and T2 are non-polynomial types.