Does type testing alone ensure product compliance?