search

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA
Apache License 2.0
90 stars 12 forks source link

Bug in field names provided by NoVariantsDelegator #465

Closed sxhya closed 8 months ago

sxhya commented 8 months ago

Bug