fcx.write_ty(pat_id, expected);
};
match *structure_of(fcx, span, expected) {
- ty::ty_box(e_inner) if pointer_kind == Managed => {
- check_inner(e_inner);
- }
ty::ty_uniq(e_inner) if pointer_kind == Send => {
- check_inner(e_inner.ty);
+ check_inner(e_inner);
}
ty::ty_rptr(_, e_inner) if pointer_kind == Borrowed => {
check_inner(e_inner.ty);