Update a1 for rustc changes