# In-depth meeting notes

## 2024-05-13

may_be_downstream_parameter(alias) :-
    any(p in walk(alias.params)) { may_be_downstream_parameter(param) },
    not(normalize(alias) -> p, not(may_be_downstream_parameter(p))),

eq

may_be_downstream_parameter(alias) :-
    any(p in walk(alias.params)) { may_be_downstream_parameter(param) },
    not(normalize(alias) -> p, is_not_downstream_parameter(p))),

~

may_be_downstream_parameter(alias) :-
    any(p in walk(alias.params)) { may_be_downstream_parameter(param) },
    cannot_prove(normalize(alias) -> p, is_not_downstream_parameter(p))),

## 2024-04-30

Link: https://rust-lang.zulipchat.com/#narrow/stream/326132-t-types.2Fmeetings/topic/2024-04-30.20high.20bandwidth.20meeting

https://hackmd.io/lfni532tQaGTvUP1WKhXNQ