Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Mark all Option types non_exhaustive #181

Merged
merged 1 commit into from
Jun 20, 2020
Merged

Conversation

jonhoo
Copy link
Owner

@jonhoo jonhoo commented Jun 20, 2020

This is a breaking change.

@jonhoo jonhoo mentioned this pull request Jun 20, 2020
@jonhoo
Copy link
Owner Author

jonhoo commented Jun 20, 2020

See also rust-lang/rust#70564 (comment)

@codecov
Copy link

codecov bot commented Jun 20, 2020

Codecov Report

Merging #181 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #181   +/-   ##
=======================================
  Coverage   90.30%   90.30%           
=======================================
  Files          16       16           
  Lines        2238     2238           
=======================================
  Hits         2021     2021           
  Misses        217      217           
Impacted Files Coverage Δ
src/collapse/common.rs 62.87% <ø> (ø)
src/collapse/dtrace.rs 91.21% <ø> (ø)
src/collapse/guess.rs 78.04% <ø> (ø)
src/collapse/perf.rs 97.36% <ø> (ø)
src/collapse/sample.rs 95.87% <ø> (ø)
src/collapse/vtune.rs 94.36% <ø> (ø)
src/flamegraph/mod.rs 96.46% <ø> (ø)

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update e4d7e34...65f9f09. Read the comment docs.

@jonhoo jonhoo force-pushed the non-exhaustive-options branch 3 times, most recently from d7c5379 to d2289af Compare June 20, 2020 19:44
This is a breaking change.

See also
rust-lang/rust#70564 (comment)
for why this change is a little sad.
@jonhoo jonhoo merged commit 5c72239 into master Jun 20, 2020
@jonhoo jonhoo deleted the non-exhaustive-options branch June 20, 2020 20:01
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