If this pull request fixes [SI-8180](https://issues.scala-lang.org/browse/SI-8180?filter=12305), can you please add a test for that to DefinitionDeconsturctionProps.scala.