Commit 2023-07-27 15:45 90689c42

feat: let convert infer instances from goal and allow tc failure (#6041) Changes the way the term is elaborated so that typeclass inference is tolerated and so that instances are allowed to come from the goal without re-inferring them.