bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Implement AggregateOps

Browse source 
`make_solution` does not return any guidance for now
This commit is contained in:
scalexm 2018-11-15 20:05:36 +01:00
parent 0169dc3f36
commit b2b82f790b
1 changed files with 28 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

30
src/librustc_traits/chalk_context/mod.rs
View file

@ -26,6 +26,7 @@ use rustc::infer::canonical::{
CanonicalVarValues,
OriginalQueryValues,
QueryResponse,
Certainty,
};
use rustc::traits::{
DomainGoal,
@ -132,9 +133,34 @@ impl context::AggregateOps<ChalkArenas<'gcx>> for ChalkContext<'cx, 'gcx> {
fn make_solution(
&self,
_root_goal: &Canonical<'gcx, InEnvironment<'gcx, Goal<'gcx>>>,
_simplified_answers: impl context::AnswerStream<ChalkArenas<'gcx>>,
mut simplified_answers: impl context::AnswerStream<ChalkArenas<'gcx>>,
) -> Option<Canonical<'gcx, QueryResponse<'gcx, ()>>> {
unimplemented!()
use chalk_engine::SimplifiedAnswer;
if simplified_answers.peek_answer().is_none() {
return None;
}
let SimplifiedAnswer { subst, ambiguous } = simplified_answers
.next_answer()
.unwrap();
let ambiguous = simplified_answers.peek_answer().is_some() || ambiguous;
Some(subst.unchecked_map(|subst| {
QueryResponse {
var_values: subst.subst,
region_constraints: subst.constraints
.into_iter()
.map(|c| ty::Binder::bind(c))
.collect(),
certainty: match ambiguous {
true => Certainty::Ambiguous,
false => Certainty::Proven,
},
value: (),
}
}))
}
}