Should the second argument have type `ast::DefId`?