any propagation for opaqueT
any propagation for opaqueT

Summary: added any propagation case for opaqueT <: any and any <: opaqueT by expanding any to match the shape of the opaqueT. Also refactored the array case to use a new expand_any helper along with the opaqueT case.

Reviewed By: samwgoldman

Differential Revision: D10389689

fbshipit-source-id: ff591c32badce522b2c0d26028e53a8661648735

nmote/flow,nmote/flow,nmote/flow,nmote/flow,nmote/flow,nmote/flow,nmote/flow