// let's just ignore that
let sol = Canonical {
max_universe: ty::UniverseIndex::from_usize(0),
- variables: obligation.variables.clone(),
+ variables: obligation.variables,
value: QueryResponse {
var_values: CanonicalVarValues { var_values: IndexVec::new() }
.make_identity(tcx),