Currently you can have expressions like this: <<size>> and <<size,type>> = Binary where obviously it should have been Size and Type, but you don't get any warnings from the compiler. Feels like there should be warnings, given the myriad of warnings introduced in the last release of Erlang. James