any propagation for shapeT
any propagation for shapeT

Summary: any <: $Shape<t> -> any <: t

Reviewed By: samwgoldman

Differential Revision: D10275696

fbshipit-source-id: 77ac25220ae27bdb23ecfb39d69f13598b126a99

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