# Libs-API Meeting 2022-02-23

###### tags: `Libs Meetings` `Minutes`

**Meeting Link**: https://meet.jit.si/rust-libs-meeting-crxoz2at8hiccp7b3ixf89qgxfymlbwr
**Attendees**: Amanieu, David, Josh Triplett, Jane, Mara, Mark, The 8472

## Agenda

- [Open action items](https://hackmd.io/ovrbJj6CRduRgSA0Wzg2zg)
- [Libs team wishlist](https://hackmd.io/HPjGPC09RayylxGeaIfTew)
- Triage
- Anything else?

## Triage

### FCPs

10 open T-libs-api FCPs:
- <a href="https://github.com/rust-lang/rfcs/issues?q=is%3Aopen+label%3AT-libs-api+label%3Aproposed-final-comment-period">1 <code>rust-lang/rfcs</code> FCPs</a>

- [[merge 3192](https://github.com/rust-lang/rfcs/issues/3192#issuecomment-1015775980)] *Add provide\_any module to core* - (4 checkboxes left)

- <a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AT-libs-api+label%3Aproposed-final-comment-period">9 <code>rust-lang/rust</code> FCPs</a>

- [[merge 89238](https://github.com/rust-lang/rust/issues/89238#issuecomment-927177703)] *deprecate f{32,64}::DIGITS* - (1 checkboxes left)
- [[merge 86845](https://github.com/rust-lang/rust/issues/86845#issuecomment-950843091)] *Tracking Issue for owned locked stdio handles* - (4 checkboxes left)
- Cancel the FCP in favor of the change making the lifetimes `'static`
- [[merge 90291](https://github.com/rust-lang/rust/issues/90291#issuecomment-955599591)] *Loosen the bound on the Debug implementation of Weak.* - (2 checkboxes left)
- [[merge 80697](https://github.com/rust-lang/rust/issues/80697#issuecomment-1022585839)] *Tracking Issue for const\_intrinsic\_copy* - (1 checkboxes left)
- Concern should be resolved
- [[merge 93263](https://github.com/rust-lang/rust/issues/93263#issuecomment-1023928386)] *Consistently present absent stdio handles on Windows as NULL handles.* - (3 checkboxes left)
- [[merge 91789](https://github.com/rust-lang/rust/issues/91789#issuecomment-1026130086)] *Tracking Issue for try\_reserve method on more containers* - (4 checkboxes left)
- Stuck on meaning of the `usize` for OsString/PathBuf.
- Conclusion: We make guarantees about valid utf-8, that it matches str. No guarantees about invalid utf-8. Use the word 'bytes' in the docs.
- [[merge 92472](https://github.com/rust-lang/rust/issues/92472#issuecomment-1033086212)] *proc\-macro: Stop wrapping \`ident\` matchers into groups* - (3 checkboxes left)
- [[merge 93840](https://github.com/rust-lang/rust/issues/93840#issuecomment-1034327897)] *Stabilize Termination and ExitCode* - (3 checkboxes left)
- [[merge 90829](https://github.com/rust-lang/rust/issues/90829#issuecomment-1047003229)] *Tracking issue for Vec::retain\_mut and VecDeque::retain\_mut* - (3 checkboxes left)

[pnkfelix (1)](https://rfcbot.rs/fcp/pnkfelix), [dtolnay (3)](https://rfcbot.rs/fcp/dtolnay), [yaahc (3)](https://rfcbot.rs/fcp/yaahc), [joshtriplett (5)](https://rfcbot.rs/fcp/joshtriplett), [BurntSushi (11)](https://rfcbot.rs/fcp/BurntSushi), [m-ou-se (4)](https://rfcbot.rs/fcp/m-ou-se), [Amanieu (2)](https://rfcbot.rs/fcp/Amanieu), [cramertj (1)](https://rfcbot.rs/fcp/cramertj)

### Nominated

- [3 `rust-lang/rust` `T-libs-api` `I-libs-api-nominated` items](https://github.com/rust-lang/rust/issues?q=label:T-libs-api+label:I-libs-api-nominated+is:open)
- [[93873](https://github.com/rust-lang/rust/pull/93873)] *Reimplement \`carrying\_add\` and \`borrowing\_sub\` for signed integers.*
- Scott: Original impl was definitely wrong. The new ones seem accurate, but you can't chain them so they don't seem useful for the bigint purpose that the unsigned versions were designed for.
- Mara: A bigint like `Vec<u32>` has 32-bit 'digits', but it doesn't make much sense to have all digits have their own sign.
- Amanieu: it's for the very last digit only, which is the only signed one.
- Should we just not have these?
- If the goal is that llvm optimizes this to a specific instruction, we should probably have a codegen test.
- Josh: We should rename this, because it isn't the same chainable operation as on unsigned.
- David: Name seems fine.
- Amanieu, Mara: Yeah, rename.
- Needs better examples as well
- Summary:
- PR needs better examples
- Tracking issue should list a requirement for a codegen test before stabilizing
- PR should change the name (should be clear that output is overflow)
- [[94026](https://github.com/rust-lang/rust/issues/94026)] *\`Hasher::write\` should clarify its "whole unit" behaviour*
- Discussed last time. Should've been untagged?
- Josh: There's an interesting example (hash_hasher) of a hasher that just spits out the first 8 bytes, for e.g. a hashmap of uuids, that would be horribly broken for other use cases.
- Mark: Add a separate method? Then hashers can implement them differently if they care about the issue.
- `h.write(&[a, b]); h.write(&[c]);` vs `h.write(&[a]); h.write(&[b, c]);` - document that we don't guarantee they produce the same hash, and don't guarantee that they produce different hashes
- Amanieu: Who is responsible for guaranteeing prefix-freedom? The hasher, or the impl?
- Josh: If the hasher is responsible, that makes it easier for a fast non-DoS-resistant hasher to opt out
- Do we need another method to do that?
- [[94079](https://github.com/rust-lang/rust/pull/94079)] *\[Draft\] library: Move \`CStr\` to libcore, and \`CString\` to liballoc*
- Originally libc stuff was only available in std, not core. But a lot of target triples define a specific libc anyway, so there it should be fine. And on platforms without a libc, there are obvious definitions for types like `c_int`.
- Using an extension trait to add CString methods to CStr is technically a breaking change. Lang item instead?
- However, an extension trait does make `CString` less special, making it possible for someone to provide theire own `CString` type with the same interface (without pairing it with their own `CStr` type).

### Waiting on team

- [1 `rust-lang/rust` `T-libs-api` `S-waiting-on-team` items](https://github.com/rust-lang/rust/issues?q=label:T-libs-api+label:S-waiting-on-team+is:open)
- [[93840](https://github.com/rust-lang/rust/pull/93840)] *Stabilize Termination and ExitCode*

### Needs decision

None

### Stalled Tracking Issues

- [30 `rust-lang/rust` `T-libs-api` `C-tracking-issue` items](https://github.com/rust-lang/rust/issues?q=label:T-libs-api+label:C-tracking-issue+is:open+sort:updated-asc)
- [[72505](https://github.com/rust-lang/rust/issues/72505)] *Tracking issue for \`#!\[feature(const\_float\_classify)\]\`*
- [[26350](https://github.com/rust-lang/rust/issues/26350)] *Clarify story on libm bindings*
- [[29553](https://github.com/rust-lang/rust/issues/29553)] *Tracking issue for #\[bench\] and benchmarking support*
- [[41263](https://github.com/rust-lang/rust/issues/41263)] *Tracking issue for \`ToOwned::clone\_into\` (\`toowned\_clone\_into\`)*
- [[71213](https://github.com/rust-lang/rust/issues/71213)] *Tracking Issue for \`wasi\_ext\`*

## Actions

- [ ] Reply to all issues/PRs discussed in this meeting, or add them to the [open action items](https://hackmd.io/ovrbJj6CRduRgSA0Wzg2zg).

_Generated by [fully-automatic-rust-libs-team-triage-meeting-agenda-generator](https://github.com/rust-lang/libs-team/tree/main/tools/agenda-generator)_