pseudocode-for-inferred-predicates

let mut current_predicates = map();

for each struct/enum S {
  current_predicates[S] = explicit_predicates(S);
}

let mut changed = true;
while changed {
  changed = false;
  for each struct/enum S {
    for each field F in S {
      // Key point is that `requirements(F.type)` will wind up reading
      // from `current_predicates`.
      let r = requirements(F.type);
      let old_len = current_predicates[S];
      current_predicates[S].extend(r);
      changed = changed | currrent_predicates[S].len() != old_len; // something new was added
    }
  }
}