Implement GLB algorithm. (Issue #2263)#4168

nikomatsakis wants to merge 1 commit intorust-lang:incomingrust-lang/rust:incomingfrom

nikomatsakis:issue-2263-fn-lub-glbnikomatsakis/rust:issue-2263-fn-lub-glbCopy head branch name to clipboard