=begin pod

=TITLE class X::TypeCheck::Binding

    class X::TypeCheck::Binding is X::TypeCheck { }

Thrown when the type check of a binding operation fails.

For example

    my Int $x := "foo"'

dies with

    Type check failed in binding; expected 'Int' but got 'Str'

Note that the compiler is free to detect obvious errors at compile time,
and complain with a different error at compile time.

=end pod