fn lower_manifest_aura( def: &ManifestAuraDef, options: &AuraEmitOptions<'_>, ) -> Result<GeneratedAuraBuilderCode>