Implicit length/upperbound declarations (was BUG REPORT)