bring to compat with rustc 0.10-pre 94e4e91