Function migrate_pattern 

pub fn migrate_pattern<VA: ValueAnnotation>(
    value: &Pattern<VA>,
    context: &mut MigrationContext,
) -> Result<Pattern, MigrationDiagnostic>