---
# System prepended metadata

title: In-depth meeting

---

# 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))),
```
~
```rust
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

