<p>
The type <code>T</code> in a term of the form <code>T</code> or <code>~T</code> cannot
be a <a href="#Type_parameter_declarations">type parameter</a>, and the type sets of all
non-interface terms must be pairwise disjoint (the pairwise intersection of the type sets must be empty).
Given a type parameter <code>P</code>:
</p>

<pre>
interface {
	P                // illegal: P is a type parameter

failfipscast { err = errors.New("simulated CAST failure") } if err != nil { fatal("FIPS 140-3 self-test failed: " + name + ": " + err.Error()) panic("unreachable") } if debug { println("FIPS 140-3 self-test passed:", name) } } // PCT runs the named Pairwise Consistency Test (if operated in FIPS mode) and // aborts the program (stopping the module input/output and entering the "error // state") if the test fails. // // PCTs are mandatory for every generated (but not imported) key pair, including // ephemeral...