Skip to content

In hole fits, don't show VTA for inferred variables (#16456)

Krzysztof Gogolewski requested to merge wip/inferred-vars into master

This fixes #16456 (closed) by hiding type applications involving inferred variables.

Merge request reports