pub const ASSERT_EQUAL: FreeBuiltinSchema;Expand description
assertEqual(actual: T, expected: T) -> Result<Unit, Error>.
One type parameter named twice is the whole rule: assertEqual compares
two values of one type, and comparing values of two types is the mistake
it catches. Both ends read that off the repeated T — the checker as
unification, the runtime as two values whose type names must agree.