impls_for_struct
rapx
0.7.20
In rapx::
verify::
smt_
check::
alias
rapx
::
verify
::
smt_check
::
alias
Function
impls_
for_
struct
Copy item path
Source
fn impls_for_struct(tcx:
TyCtxt
<'_>, struct_def_id:
DefId
) ->
Vec
<
DefId
>