Fixed TypeWitnessTypeArg impl for BoolWitG (#14)

Bumped version to 1.10.1, fixed TypeWitnessTypeArg impl of BoolWitG

Added doc example to BoolWitG showing where it'd be used over BoolWit

Update Changelog

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "typewit"
-version = "1.10.0"
+version = "1.10.1"
 authors = ["rodrimati1992 <[email protected]>"]
 rust-version = "1.57.0"
 edition = "2021"

Changelog.md

@@ -2,6 +2,10 @@ This is the changelog, summarising changes in each version(some minor changes ma
 
 # 1.0
 
+### 1.10.1
+
+Fixed `TypeWitnessTypeArg` impl for `BoolWitG`, it was overconstrained in a way that made `HasTypeWitness<BoolWitG<T>>` not work as a bound.
+
 ### 1.10.0
 
 Added `typewit::const_marker::BoolWitG` enum
@@ -239,4 +243,4 @@ Declared these crate features:
 - `mut_refs`
 - `nightly_mut_refs`
 
-Set the Minimum Supported Rust Version to 1.61.0
+Set the Minimum Supported Rust Version to 1.61.0

src/const_marker/boolwit.rs

@@ -171,6 +171,27 @@ pub type BoolWit<const B: bool> = BoolWitG<Bool<B>>;
 /// Use this over [`BoolWit`] if you want to write a [`HasTypeWitness`] bound
 /// and adding a `const B: bool` parameter would be impossible.
 /// 
+/// # Example
+/// 
+/// This basic example demonstrates where `BoolWitG` would be used instead of `BoolWit`.
+/// 
+/// ```rust
+/// use typewit::const_marker::{Bool, BoolWitG};
+/// use typewit::HasTypeWitness;
+/// 
+/// 
+/// trait Boolean: Sized + HasTypeWitness<BoolWitG<Self>> {
+///     type Not: Boolean<Not = Self>;
+/// }
+/// 
+/// impl Boolean for Bool<true> {
+///     type Not = Bool<false>;
+/// }
+/// 
+/// impl Boolean for Bool<false> {
+///     type Not = Bool<true>;
+/// }
+/// ```
 /// 
 /// [`HasTypeWitness`]: crate::HasTypeWitness
 pub enum BoolWitG<B> {
@@ -197,8 +218,8 @@ impl<const B: bool> Debug for BoolWitG<Bool<B>> {
     }
 }
 
-impl<const B: bool> TypeWitnessTypeArg for BoolWitG<Bool<B>> {
-    type Arg = Bool<B>;
+impl<B> TypeWitnessTypeArg for BoolWitG<B> {
+    type Arg = B;
 }
 
 impl<const B: bool> MakeTypeWitness for BoolWitG<Bool<B>> {