pub fn migrate_value_definition<VA: ValueAnnotation>(
definition: &ValueDefinition<Attrs, VA>,
context: &mut MigrationContext,
) -> Result<ValueDefinition, MigrationDiagnostic>pub fn migrate_value_definition<VA: ValueAnnotation>(
definition: &ValueDefinition<Attrs, VA>,
context: &mut MigrationContext,
) -> Result<ValueDefinition, MigrationDiagnostic>