Companion object to trait TypeCheckedLegacyTripleEquals that facilitates the importing of TypeCheckedLegacyTripleEquals members as
an alternative to mixing it in. One use case is to import TypeCheckedLegacyTripleEquals members so you can use
them in the Scala interpreter:

$ scala -classpath scalatest.jar
Welcome to Scala version 2.10.0
Type in expressions to have them evaluated.
Type :help for more information.

Provides a Constraint[A, B] for any two types A and B, enforcing the type constraint
that B must be a subtype of A, given an explicitEquivalence[A].

Provides a Constraint[A, B] for any two types A and B, enforcing the type constraint
that B must be a subtype of A, given an explicitEquivalence[A].

This method is used to enable the Explicitly DSL for
TypeCheckedTripleEquals by requiring an explicit Equivalance[B], but
taking an implicit function that provides evidence that A is a subtype of B. For example, under TypeCheckedTripleEquals,
this method (as an implicit method), would be used to compile this statement:

Provides a Constraint[A, B] class for any two types A and B, enforcing the type constraint that B is
implicitly convertible to A, given an explicitEquivalence[A].

Provides a Constraint[A, B] class for any two types A and B, enforcing the type constraint that B is
implicitly convertible to A, given an explicitEquivalence[A].

This method is used to enable the Explicitly DSL for
ConversionCheckedTripleEquals by requiring an explicit Equivalance[A], but
taking an implicit function that converts from B to A. For example, under ConversionCheckedTripleEquals,
this method (as an implicit method), would be used to compile this statement: