fn assert_ty_bounds(
    cx: &mut ExtCtxt<'_>,
    stmts: &mut ThinVec<Stmt>,
    ty: P<Ty>,
    span: Span,
    assert_path: &[Symbol]
)