Skip to content

Rename approx to relaxed - #1277

Merged
tgross35 merged 2 commits into
rust-lang:mainfrom
tgross35:relaxed-updates
Aug 13, 2026
Merged

Rename approx to relaxed#1277
tgross35 merged 2 commits into
rust-lang:mainfrom
tgross35:relaxed-updates

Conversation

@tgross35

Copy link
Copy Markdown
Contributor

No description provided.

This matches the upcoming `mul_add_relaxed` feature, and is also just a
better name: "approximate" sounds like it may be very imprecise,
"relaxed" sounds more like "less precise" which is what we want to
convey.
@tgross35
tgross35 enabled auto-merge (rebase) August 13, 2026 09:53
@tgross35
tgross35 merged commit 89d20d9 into rust-lang:main Aug 13, 2026
44 checks passed
@tgross35
tgross35 deleted the relaxed-updates branch August 13, 2026 10:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant