<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 // returns any errors. If an error is returned, the key must not be used. // // PCTs are mandatory for every key pair that is generated/imported, including // ephemeral keys (which effectively doubles...