Generate obligations when possible instead of rejecting with ambiguity#139955

dingxiangfei2009 wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

dingxiangfei2009:make-progress-with-match-projectiondingxiangfei2009/rust:make-progress-with-match-projectionCopy head branch name to clipboard