---
# System prepended metadata

title: GCC Rust Meeting 2025-06-09

---

# GCC Rust Meeting 2025-06-09

* Mailing list: https://gcc.gnu.org/mailman/listinfo/gcc-rust
* Zulip: https://gcc-rust.zulipchat.com/
* IRC: irc.oftc.net #gccrust
* Video Link: https://meet.jit.si/gccrs-community-call-june

## Agenda

- Project Reports
    - Monthly report
    - What are we working on
- Questions

## Project Reports

### What are we working on

- Philbert
    - Finishing off RPIT needs more tests like ones behind a reference etc.
    - Need to add more test cases for RPIT and closures
        - I've been using FnOnce everywhere need to use the proper Fn child trait for these test cases
    - Continue work on allowing inference variables to be able to handle the case of:

```rust=
fn test () {
    let a = |x, y| x + y
    let b = a (1, 2);
}
```

Inference variables need to be able to handle that they can support adding on the constraint of the Add Trait for ?integer's in this case and infer that this must be i32.

## Questions
