swift

75dfab00 - RequirementMachine: Eliminate layout requirement implied by concrete type requirement

RequirementMachine: Eliminate layout requirement implied by concrete type requirement A type parameter subject to an AnyObject requirement might also be subject to a concrete type requirement. There are two cases to handle here: - If the concrete type is a class, the layout requirement is redundant. - If the concrete type is not a class, we have a conflict. There is an existing test that's good enough; I just changed it to run with -requirement-machine-inferred-signatures=verify.