Summary: type-containment doesn't handle inference variables correctly
Reviewed-by: vromero, dlsmith