fn type_of<'tcx>(tcx: TyCtxt<'tcx>, def_id_arg: type_of<'tcx>) -> type_of<'tcx>