Skip to content

Allow cross-tyvar defaulting proposals from plugins

Gergő Érdi requested to merge wip/issue-23832 into master

As described in #23832 (closed), we can make defaulting plugins much more powerful by allowing "entangled" defaulting proposals, i.e. proposals for multiple type variables that can't be decomposed into orthogonal single-variable proposals.

Edited by Gergő Érdi

Merge request reports