Fix dyn program clause generation and make returning a ClosureKind optional#785

Open

jackh726 wants to merge 2 commits intorust-lang:masterfrom jackh726:rustc_fixes

+37-16

Commits on Dec 2, 2022

Fix dyn ty program clauses using non-generalized ty
jackh726
committed

Commits on Dec 3, 2022

Make closure_kind return an Option (probably not fully correct)
jackh726
committed