1 use crate::infer
::canonical
::{Canonicalized, CanonicalizedQueryResponse}
;
2 use crate::traits
::query
::Fallible
;
3 use rustc
::ty
::{ParamEnvAnd, TyCtxt}
;
5 pub use rustc
::traits
::query
::type_op
::AscribeUserType
;
7 impl<'tcx
> super::QueryTypeOp
<'tcx
> for AscribeUserType
<'tcx
> {
8 type QueryResponse
= ();
12 _key
: &ParamEnvAnd
<'tcx
, Self>,
13 ) -> Option
<Self::QueryResponse
> {
19 canonicalized
: Canonicalized
<'tcx
, ParamEnvAnd
<'tcx
, Self>>,
20 ) -> Fallible
<CanonicalizedQueryResponse
<'tcx
, ()>> {
21 tcx
.type_op_ascribe_user_type(canonicalized
)