object pig {
  @scala.annotation.unchecked.uncheckedStable def dog = ()
  () match {
    case `dog` =>
  }
}

scala> error: stable identifier required, but pig.this.dog found.
           case `dog` =>