pub fn resolve_bound_vars<'tcx>(
    _: TyCtxt<'tcx>,
    _: &resolve_bound_vars<'tcx>
) -> bool