I just found a bug wherein the generic label on an impl block is not validated against the label of the type.