pub fn opt_const_param_of<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: opt_const_param_of<'tcx>
) -> Erase<opt_const_param_of<'tcx>>