fn field_ty<'db>( env: &mut Env<'db>, owner_place: SymPlace<'db>, owner_perm: SymPerm<'db>, owner_red_ty: RedTy<'db>, sym_field: SymField<'db>, ) -> SymTy<'db>