fix warnings and prepare 0.6.3

Author: karroffel

CHANGELOG.md

@@ -6,6 +6,13 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## Unreleased
 
+## [0.6.3] - 2022-03-13
+
+### Fixed
+
+- improved hygiene around `self` parameters
+- fix contract messages containing `{}` emitting warnings as they are interpreted as format strings
+
 ## [0.6.2] - 2021-07-21
 
 ### Changed

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "contracts"
-version = "0.6.2"
+version = "0.6.3"
 authors = ["karroffel <[email protected]>"]
 edition = "2018"
 repository = "https://gitlab.com/karroffel/contracts"

README.md

@@ -5,7 +5,7 @@
 ![Lines of Code][loc]
 
 [license]: https://img.shields.io/badge/license-MPL%202.0-blue.svg
-[build]: https://gitlab.com/karroffel/contracts/badges/master/build.svg
+[build]: https://gitlab.com/karroffel/contracts/badges/master/pipeline.svg
 [loc]: https://tokei.rs/b1/gitlab/karroffel/contracts?category=code
 
 Annotate functions and methods with "contracts", using *invariants*,
@@ -150,7 +150,7 @@ To install the latest version, add `contracts` to the dependency section of the
 
 ```
 [dependencies]
-contracts = "0.6.2"
+contracts = "0.6.3"
 ```
 
 To then bring all procedural macros into scope, you can add `use contracts::*;`

examples/library.rs

@@ -60,7 +60,7 @@ fn main() {
     println!("Adding a book.");
 
     let lent_successful = lib.lend("Das Kapital");
-    assert_eq!(lent_successful, true);
+    assert!(lent_successful);
 
     if lent_successful {
         println!("Lent out the book.");

src/implementation/mod.rs

@@ -125,7 +125,7 @@ impl ContractType {
 /// Representation of a contract
 #[derive(Debug)]
 pub(crate) struct Contract {
-    pub(crate) span: Span,
+    pub(crate) _span: Span,
     pub(crate) ty: ContractType,
     pub(crate) mode: ContractMode,
     pub(crate) assertions: Vec<Expr>,
@@ -144,7 +144,7 @@ impl Contract {
         let span = Span::call_site();
 
         Self {
-            span,
+            _span: span,
             ty,
             mode,
             assertions,
@@ -210,7 +210,7 @@ impl FuncWithContracts {
 
         // remove contract attributes
         {
-            let attrs = std::mem::replace(&mut func.attrs, vec![]);
+            let attrs = std::mem::take(&mut func.attrs);
 
             let other_attrs = attrs
                 .into_iter()

tests/functions.rs

@@ -158,7 +158,7 @@ fn test_unbound_parameters_clippy() {
 }
 
 #[test]
-#[deny(non_fmt_panic)]
+#[deny(non_fmt_panics)]
 fn test_braced_condition_expression_clippy() {
     #[requires(if __y == 3 {
         __y != 0