Skip to content

Singletons should be Send, Sync and Clone#7

Merged
LukeMathWalker merged 25 commits intomainfrom
trait-constraints-singletons
Nov 20, 2022
Merged

Singletons should be Send, Sync and Clone#7
LukeMathWalker merged 25 commits intomainfrom
trait-constraints-singletons

Conversation

@LukeMathWalker
Copy link
Owner

A few interesting side-quests to get this check implemented:

@LukeMathWalker LukeMathWalker merged commit 798c313 into main Nov 20, 2022
@LukeMathWalker LukeMathWalker deleted the trait-constraints-singletons branch November 20, 2022 21:42
LukeMathWalker added a commit that referenced this pull request Feb 14, 2023
* Failing test: Singletons must be Clone.

* Write data structure that allows to insert new elements without using a mutable reference.

* Draft Sync check

* Fix handling of hyphens and "wrong" versions in the rustdoc module.

* Add `tracing`.

* Extract into function.

* Implement error + rendering diagnostic.

* Fix trait resolution.

* Fix package search

* Fix error reporting when dealing with references.

* Clippy fixes

* Remove unused parameter.

* Fix more clippy lints

* Fix test expected error message.

* Fix Clone checking. Send seems to be broken.

* Green.

* Sync :check:

* Implement Clone

* Remove stray dbg.

* Be careful with namespaces.

* Add nice help message explaining why we care about those traits.

* Update example

* Add rudimentary tracing instrumentation.

* More instrumentation.

* Remove wasteful clone.
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