Commit 2026-05-08 08:38 5f3d4948

chore(*): small fixes for backward.inferInstanceAs tech debt (#39012) This PR contains a few more fixes/workaround for backward.inferInstanceAs issues. By explicitly constructing the instance we ensure the right defeqs hold. There also seems to be one place where we can remove the set_option without any downstream breakage.