diff --git a/Cargo.toml b/Cargo.toml
index b68b7111e..9def8dabb 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "bech32"
-version = "0.11.0"
+version = "0.11.1"
 authors = ["Clark Moody", "Andrew Poelstra", "Tobin Harding"]
 repository = "https://github.com/rust-bitcoin/rust-bech32"
 documentation = "https://docs.rs/bech32/"
@@ -18,3 +18,7 @@ alloc = []
 
 [target.'cfg(mutate)'.dev-dependencies]
 mutagen = { git = "https://github.com/llogiq/mutagen" }
+
+[lints.rust]
+unexpected_cfgs = { level = "deny", check-cfg = ['cfg(bench)', 'cfg(kani)', 'cfg(mutate)'] }
+
diff --git a/api/all-features.txt b/api/all-features.txt
index 06460a5f1..9a2baf257 100644
--- a/api/all-features.txt
+++ b/api/all-features.txt
@@ -211,6 +211,30 @@ impl core::marker::Copy for bech32::primitives::gf32::Fe32
 impl core::marker::Copy for bech32::primitives::gf32::FromCharError
 impl core::marker::Copy for bech32::primitives::gf32::TryFromError
 impl core::marker::Copy for bech32::primitives::hrp::Hrp
+impl core::marker::Freeze for bech32::DecodeError
+impl core::marker::Freeze for bech32::EncodeError
+impl core::marker::Freeze for bech32::EncodeIoError
+impl core::marker::Freeze for bech32::primitives::Bech32
+impl core::marker::Freeze for bech32::primitives::Bech32m
+impl core::marker::Freeze for bech32::primitives::NoChecksum
+impl core::marker::Freeze for bech32::primitives::checksum::PackedNull
+impl core::marker::Freeze for bech32::primitives::decode::CharError
+impl core::marker::Freeze for bech32::primitives::decode::CheckedHrpstringError
+impl core::marker::Freeze for bech32::primitives::decode::ChecksumError
+impl core::marker::Freeze for bech32::primitives::decode::CodeLengthError
+impl core::marker::Freeze for bech32::primitives::decode::PaddingError
+impl core::marker::Freeze for bech32::primitives::decode::SegwitCodeLengthError
+impl core::marker::Freeze for bech32::primitives::decode::SegwitHrpstringError
+impl core::marker::Freeze for bech32::primitives::decode::UncheckedHrpstringError
+impl core::marker::Freeze for bech32::primitives::gf32::Fe32
+impl core::marker::Freeze for bech32::primitives::gf32::FromCharError
+impl core::marker::Freeze for bech32::primitives::gf32::TryFromError
+impl core::marker::Freeze for bech32::primitives::hrp::Error
+impl core::marker::Freeze for bech32::primitives::hrp::Hrp
+impl core::marker::Freeze for bech32::primitives::segwit::InvalidWitnessVersionError
+impl core::marker::Freeze for bech32::primitives::segwit::WitnessLengthError
+impl core::marker::Freeze for bech32::segwit::DecodeError
+impl core::marker::Freeze for bech32::segwit::EncodeError
 impl core::marker::Send for bech32::DecodeError
 impl core::marker::Send for bech32::EncodeError
 impl core::marker::Send for bech32::EncodeIoError
@@ -390,6 +414,10 @@ impl<'b> core::iter::traits::marker::FusedIterator for bech32::primitives::hrp::
 impl<'b> core::iter::traits::marker::FusedIterator for bech32::primitives::hrp::CharIter<'b>
 impl<'b> core::iter::traits::marker::FusedIterator for bech32::primitives::hrp::LowercaseByteIter<'b>
 impl<'b> core::iter::traits::marker::FusedIterator for bech32::primitives::hrp::LowercaseCharIter<'b>
+impl<'b> core::marker::Freeze for bech32::primitives::hrp::ByteIter<'b>
+impl<'b> core::marker::Freeze for bech32::primitives::hrp::CharIter<'b>
+impl<'b> core::marker::Freeze for bech32::primitives::hrp::LowercaseByteIter<'b>
+impl<'b> core::marker::Freeze for bech32::primitives::hrp::LowercaseCharIter<'b>
 impl<'b> core::marker::Send for bech32::primitives::hrp::ByteIter<'b>
 impl<'b> core::marker::Send for bech32::primitives::hrp::CharIter<'b>
 impl<'b> core::marker::Send for bech32::primitives::hrp::LowercaseByteIter<'b>
@@ -418,29 +446,34 @@ impl<'hrp, I, Ck> core::clone::Clone for bech32::primitives::encode::Encoder<'hr
 impl<'hrp, I, Ck> core::cmp::Eq for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32> + core::cmp::Eq, Ck: bech32::primitives::checksum::Checksum + core::cmp::Eq
 impl<'hrp, I, Ck> core::cmp::PartialEq for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32> + core::cmp::PartialEq, Ck: bech32::primitives::checksum::Checksum + core::cmp::PartialEq
 impl<'hrp, I, Ck> core::iter::traits::iterator::Iterator for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>, Ck: bech32::primitives::checksum::Checksum
+impl<'hrp, I, Ck> core::marker::Freeze for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::marker::Freeze, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
+impl<'hrp, I, Ck> core::marker::Freeze for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::marker::Freeze, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
+impl<'hrp, I, Ck> core::marker::Freeze for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::marker::Freeze
+impl<'hrp, I, Ck> core::marker::Freeze for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::marker::Freeze, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
 impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::marker::Send, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
 impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::marker::Send, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
-impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::marker::Send, I: core::marker::Send
+impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::marker::Send, Ck: core::marker::Send
 impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::marker::Send, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
 impl<'hrp, I, Ck> core::marker::StructuralPartialEq for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>, Ck: bech32::primitives::checksum::Checksum
 impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::marker::Sync, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
 impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::marker::Sync, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
-impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::marker::Sync, I: core::marker::Sync
+impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::marker::Sync, Ck: core::marker::Sync
 impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::marker::Sync, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
 impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::marker::Unpin, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Unpin
 impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::marker::Unpin, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Unpin
-impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::marker::Unpin, I: core::marker::Unpin
+impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::marker::Unpin, Ck: core::marker::Unpin
 impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::marker::Unpin, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Unpin
 impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::panic::unwind_safe::RefUnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::RefUnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::panic::unwind_safe::RefUnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::RefUnwindSafe
-impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::panic::unwind_safe::RefUnwindSafe, I: core::panic::unwind_safe::RefUnwindSafe
+impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::panic::unwind_safe::RefUnwindSafe, Ck: core::panic::unwind_safe::RefUnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::panic::unwind_safe::RefUnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::RefUnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::panic::unwind_safe::UnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::UnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::panic::unwind_safe::UnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::UnwindSafe
-impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::panic::unwind_safe::UnwindSafe, I: core::panic::unwind_safe::UnwindSafe
+impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::panic::unwind_safe::UnwindSafe, Ck: core::panic::unwind_safe::UnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::panic::unwind_safe::UnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::UnwindSafe
 impl<'hrp> bech32::primitives::checksum::HrpFe32Iter<'hrp>
 impl<'hrp> core::iter::traits::iterator::Iterator for bech32::primitives::checksum::HrpFe32Iter<'hrp>
+impl<'hrp> core::marker::Freeze for bech32::primitives::checksum::HrpFe32Iter<'hrp>
 impl<'hrp> core::marker::Send for bech32::primitives::checksum::HrpFe32Iter<'hrp>
 impl<'hrp> core::marker::Sync for bech32::primitives::checksum::HrpFe32Iter<'hrp>
 impl<'hrp> core::marker::Unpin for bech32::primitives::checksum::HrpFe32Iter<'hrp>
@@ -457,6 +490,12 @@ impl<'s> core::iter::traits::exact_size::ExactSizeIterator for bech32::primitive
 impl<'s> core::iter::traits::iterator::Iterator for bech32::primitives::decode::AsciiToFe32Iter<'s>
 impl<'s> core::iter::traits::iterator::Iterator for bech32::primitives::decode::ByteIter<'s>
 impl<'s> core::iter::traits::iterator::Iterator for bech32::primitives::decode::Fe32Iter<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::AsciiToFe32Iter<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::ByteIter<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::CheckedHrpstring<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::Fe32Iter<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::SegwitHrpstring<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::UncheckedHrpstring<'s>
 impl<'s> core::marker::Send for bech32::primitives::decode::AsciiToFe32Iter<'s>
 impl<'s> core::marker::Send for bech32::primitives::decode::ByteIter<'s>
 impl<'s> core::marker::Send for bech32::primitives::decode::CheckedHrpstring<'s>
@@ -495,6 +534,7 @@ impl<Ck: core::cmp::Eq + bech32::primitives::checksum::Checksum> core::cmp::Eq f
 impl<Ck: core::cmp::PartialEq + bech32::primitives::checksum::Checksum> core::cmp::PartialEq for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::cmp::PartialEq
 impl<Ck: core::fmt::Debug + bech32::primitives::checksum::Checksum> core::fmt::Debug for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::fmt::Debug
 impl<Ck: core::marker::Copy + bech32::primitives::checksum::Checksum> core::marker::Copy for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Copy
+impl<Ck> core::marker::Freeze for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
 impl<Ck> core::marker::Send for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
 impl<Ck> core::marker::Sync for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
 impl<Ck> core::marker::Unpin for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Unpin
@@ -505,6 +545,7 @@ impl<I, Ck> core::clone::Clone for bech32::primitives::iter::Checksummed<I, Ck>
 impl<I, Ck> core::cmp::Eq for bech32::primitives::iter::Checksummed<I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32> + core::cmp::Eq, Ck: bech32::primitives::checksum::Checksum + core::cmp::Eq
 impl<I, Ck> core::cmp::PartialEq for bech32::primitives::iter::Checksummed<I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32> + core::cmp::PartialEq, Ck: bech32::primitives::checksum::Checksum + core::cmp::PartialEq
 impl<I, Ck> core::iter::traits::iterator::Iterator for bech32::primitives::iter::Checksummed<I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>, Ck: bech32::primitives::checksum::Checksum
+impl<I, Ck> core::marker::Freeze for bech32::primitives::iter::Checksummed<I, Ck> where I: core::marker::Freeze, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
 impl<I, Ck> core::marker::Send for bech32::primitives::iter::Checksummed<I, Ck> where I: core::marker::Send, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
 impl<I, Ck> core::marker::StructuralPartialEq for bech32::primitives::iter::Checksummed<I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>, Ck: bech32::primitives::checksum::Checksum
 impl<I, Ck> core::marker::Sync for bech32::primitives::iter::Checksummed<I, Ck> where I: core::marker::Sync, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
@@ -527,6 +568,9 @@ impl<I> core::iter::traits::exact_size::ExactSizeIterator for bech32::primitives
 impl<I> core::iter::traits::iterator::Iterator for bech32::primitives::encode::WitnessVersionIter<I> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>
 impl<I> core::iter::traits::iterator::Iterator for bech32::primitives::iter::BytesToFes<I> where I: core::iter::traits::iterator::Iterator<Item = u8>
 impl<I> core::iter::traits::iterator::Iterator for bech32::primitives::iter::FesToBytes<I> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>
+impl<I> core::marker::Freeze for bech32::primitives::encode::WitnessVersionIter<I> where I: core::marker::Freeze
+impl<I> core::marker::Freeze for bech32::primitives::iter::BytesToFes<I> where I: core::marker::Freeze
+impl<I> core::marker::Freeze for bech32::primitives::iter::FesToBytes<I> where I: core::marker::Freeze
 impl<I> core::marker::Send for bech32::primitives::encode::WitnessVersionIter<I> where I: core::marker::Send
 impl<I> core::marker::Send for bech32::primitives::iter::BytesToFes<I> where I: core::marker::Send
 impl<I> core::marker::Send for bech32::primitives::iter::FesToBytes<I> where I: core::marker::Send
@@ -590,9 +634,9 @@ pub const bech32::Checksum::CHECKSUM_LENGTH: usize
 pub const bech32::Checksum::CODE_LENGTH: usize
 pub const bech32::Checksum::GENERATOR_SH: [Self::MidstateRepr; 5]
 pub const bech32::Checksum::TARGET_RESIDUE: Self::MidstateRepr
-pub const bech32::hrp::BC: _
-pub const bech32::hrp::BCRT: _
-pub const bech32::hrp::TB: _
+pub const bech32::hrp::BC: bech32::primitives::hrp::Hrp
+pub const bech32::hrp::BCRT: bech32::primitives::hrp::Hrp
+pub const bech32::hrp::TB: bech32::primitives::hrp::Hrp
 pub const bech32::primitives::Bech32::CHECKSUM_LENGTH: usize
 pub const bech32::primitives::Bech32::CODE_LENGTH: usize
 pub const bech32::primitives::Bech32::GENERATOR_SH: [u32; 5]
@@ -644,14 +688,14 @@ pub const bech32::primitives::gf32::Fe32::_6: bech32::primitives::gf32::Fe32
 pub const bech32::primitives::gf32::Fe32::_7: bech32::primitives::gf32::Fe32
 pub const bech32::primitives::gf32::Fe32::_8: bech32::primitives::gf32::Fe32
 pub const bech32::primitives::gf32::Fe32::_9: bech32::primitives::gf32::Fe32
-pub const bech32::primitives::hrp::BC: _
-pub const bech32::primitives::hrp::BCRT: _
-pub const bech32::primitives::hrp::TB: _
-pub const bech32::primitives::segwit::MAX_STRING_LENGTH: usize = 90usize
-pub const bech32::primitives::segwit::VERSION_0: Fe32::Q
-pub const bech32::primitives::segwit::VERSION_1: Fe32::P
-pub const bech32::segwit::VERSION_0: Fe32::Q
-pub const bech32::segwit::VERSION_1: Fe32::P
+pub const bech32::primitives::hrp::BC: bech32::primitives::hrp::Hrp
+pub const bech32::primitives::hrp::BCRT: bech32::primitives::hrp::Hrp
+pub const bech32::primitives::hrp::TB: bech32::primitives::hrp::Hrp
+pub const bech32::primitives::segwit::MAX_STRING_LENGTH: usize
+pub const bech32::primitives::segwit::VERSION_0: bech32::primitives::gf32::Fe32
+pub const bech32::primitives::segwit::VERSION_1: bech32::primitives::gf32::Fe32
+pub const bech32::segwit::VERSION_0: bech32::primitives::gf32::Fe32
+pub const bech32::segwit::VERSION_1: bech32::primitives::gf32::Fe32
 pub const fn bech32::primitives::hrp::Hrp::parse_unchecked(hrp: &str) -> Self
 pub const u128::ONE: Self
 pub const u32::ONE: Self
@@ -730,12 +774,12 @@ pub fn bech32::primitives::checksum::HrpFe32Iter<'hrp>::next(&mut self) -> core:
 pub fn bech32::primitives::checksum::HrpFe32Iter<'hrp>::size_hint(&self) -> (usize, core::option::Option<usize>)
 pub fn bech32::primitives::checksum::PackedFe32::mul_by_x_then_add(&mut self, degree: usize, add: u8) -> u8
 pub fn bech32::primitives::checksum::PackedFe32::unpack(&self, n: usize) -> u8
-pub fn bech32::primitives::checksum::PackedNull::bitxor(self, bech32::primitives::checksum::PackedNull) -> bech32::primitives::checksum::PackedNull
+pub fn bech32::primitives::checksum::PackedNull::bitxor(self, _: bech32::primitives::checksum::PackedNull) -> bech32::primitives::checksum::PackedNull
 pub fn bech32::primitives::checksum::PackedNull::clone(&self) -> bech32::primitives::checksum::PackedNull
 pub fn bech32::primitives::checksum::PackedNull::eq(&self, other: &bech32::primitives::checksum::PackedNull) -> bool
 pub fn bech32::primitives::checksum::PackedNull::fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result
-pub fn bech32::primitives::checksum::PackedNull::mul_by_x_then_add(&mut self, usize, u8) -> u8
-pub fn bech32::primitives::checksum::PackedNull::unpack(&self, usize) -> u8
+pub fn bech32::primitives::checksum::PackedNull::mul_by_x_then_add(&mut self, _: usize, _: u8) -> u8
+pub fn bech32::primitives::checksum::PackedNull::unpack(&self, _: usize) -> u8
 pub fn bech32::primitives::decode::AsciiToFe32Iter<'s>::len(&self) -> usize
 pub fn bech32::primitives::decode::AsciiToFe32Iter<'s>::next(&mut self) -> core::option::Option<bech32::primitives::gf32::Fe32>
 pub fn bech32::primitives::decode::AsciiToFe32Iter<'s>::size_hint(&self) -> (usize, core::option::Option<usize>)
diff --git a/api/alloc-only.txt b/api/alloc-only.txt
index 75ac2bfe9..38167f190 100644
--- a/api/alloc-only.txt
+++ b/api/alloc-only.txt
@@ -186,6 +186,29 @@ impl core::marker::Copy for bech32::primitives::gf32::Fe32
 impl core::marker::Copy for bech32::primitives::gf32::FromCharError
 impl core::marker::Copy for bech32::primitives::gf32::TryFromError
 impl core::marker::Copy for bech32::primitives::hrp::Hrp
+impl core::marker::Freeze for bech32::DecodeError
+impl core::marker::Freeze for bech32::EncodeError
+impl core::marker::Freeze for bech32::primitives::Bech32
+impl core::marker::Freeze for bech32::primitives::Bech32m
+impl core::marker::Freeze for bech32::primitives::NoChecksum
+impl core::marker::Freeze for bech32::primitives::checksum::PackedNull
+impl core::marker::Freeze for bech32::primitives::decode::CharError
+impl core::marker::Freeze for bech32::primitives::decode::CheckedHrpstringError
+impl core::marker::Freeze for bech32::primitives::decode::ChecksumError
+impl core::marker::Freeze for bech32::primitives::decode::CodeLengthError
+impl core::marker::Freeze for bech32::primitives::decode::PaddingError
+impl core::marker::Freeze for bech32::primitives::decode::SegwitCodeLengthError
+impl core::marker::Freeze for bech32::primitives::decode::SegwitHrpstringError
+impl core::marker::Freeze for bech32::primitives::decode::UncheckedHrpstringError
+impl core::marker::Freeze for bech32::primitives::gf32::Fe32
+impl core::marker::Freeze for bech32::primitives::gf32::FromCharError
+impl core::marker::Freeze for bech32::primitives::gf32::TryFromError
+impl core::marker::Freeze for bech32::primitives::hrp::Error
+impl core::marker::Freeze for bech32::primitives::hrp::Hrp
+impl core::marker::Freeze for bech32::primitives::segwit::InvalidWitnessVersionError
+impl core::marker::Freeze for bech32::primitives::segwit::WitnessLengthError
+impl core::marker::Freeze for bech32::segwit::DecodeError
+impl core::marker::Freeze for bech32::segwit::EncodeError
 impl core::marker::Send for bech32::DecodeError
 impl core::marker::Send for bech32::EncodeError
 impl core::marker::Send for bech32::primitives::Bech32
@@ -362,6 +385,10 @@ impl<'b> core::iter::traits::marker::FusedIterator for bech32::primitives::hrp::
 impl<'b> core::iter::traits::marker::FusedIterator for bech32::primitives::hrp::CharIter<'b>
 impl<'b> core::iter::traits::marker::FusedIterator for bech32::primitives::hrp::LowercaseByteIter<'b>
 impl<'b> core::iter::traits::marker::FusedIterator for bech32::primitives::hrp::LowercaseCharIter<'b>
+impl<'b> core::marker::Freeze for bech32::primitives::hrp::ByteIter<'b>
+impl<'b> core::marker::Freeze for bech32::primitives::hrp::CharIter<'b>
+impl<'b> core::marker::Freeze for bech32::primitives::hrp::LowercaseByteIter<'b>
+impl<'b> core::marker::Freeze for bech32::primitives::hrp::LowercaseCharIter<'b>
 impl<'b> core::marker::Send for bech32::primitives::hrp::ByteIter<'b>
 impl<'b> core::marker::Send for bech32::primitives::hrp::CharIter<'b>
 impl<'b> core::marker::Send for bech32::primitives::hrp::LowercaseByteIter<'b>
@@ -390,29 +417,34 @@ impl<'hrp, I, Ck> core::clone::Clone for bech32::primitives::encode::Encoder<'hr
 impl<'hrp, I, Ck> core::cmp::Eq for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32> + core::cmp::Eq, Ck: bech32::primitives::checksum::Checksum + core::cmp::Eq
 impl<'hrp, I, Ck> core::cmp::PartialEq for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32> + core::cmp::PartialEq, Ck: bech32::primitives::checksum::Checksum + core::cmp::PartialEq
 impl<'hrp, I, Ck> core::iter::traits::iterator::Iterator for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>, Ck: bech32::primitives::checksum::Checksum
+impl<'hrp, I, Ck> core::marker::Freeze for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::marker::Freeze, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
+impl<'hrp, I, Ck> core::marker::Freeze for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::marker::Freeze, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
+impl<'hrp, I, Ck> core::marker::Freeze for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::marker::Freeze
+impl<'hrp, I, Ck> core::marker::Freeze for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::marker::Freeze, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
 impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::marker::Send, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
 impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::marker::Send, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
-impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::marker::Send, I: core::marker::Send
+impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::marker::Send, Ck: core::marker::Send
 impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::marker::Send, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
 impl<'hrp, I, Ck> core::marker::StructuralPartialEq for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>, Ck: bech32::primitives::checksum::Checksum
 impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::marker::Sync, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
 impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::marker::Sync, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
-impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::marker::Sync, I: core::marker::Sync
+impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::marker::Sync, Ck: core::marker::Sync
 impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::marker::Sync, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
 impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::marker::Unpin, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Unpin
 impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::marker::Unpin, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Unpin
-impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::marker::Unpin, I: core::marker::Unpin
+impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::marker::Unpin, Ck: core::marker::Unpin
 impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::marker::Unpin, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Unpin
 impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::panic::unwind_safe::RefUnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::RefUnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::panic::unwind_safe::RefUnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::RefUnwindSafe
-impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::panic::unwind_safe::RefUnwindSafe, I: core::panic::unwind_safe::RefUnwindSafe
+impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::panic::unwind_safe::RefUnwindSafe, Ck: core::panic::unwind_safe::RefUnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::panic::unwind_safe::RefUnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::RefUnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::panic::unwind_safe::UnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::UnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::panic::unwind_safe::UnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::UnwindSafe
-impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::panic::unwind_safe::UnwindSafe, I: core::panic::unwind_safe::UnwindSafe
+impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::panic::unwind_safe::UnwindSafe, Ck: core::panic::unwind_safe::UnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::panic::unwind_safe::UnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::UnwindSafe
 impl<'hrp> bech32::primitives::checksum::HrpFe32Iter<'hrp>
 impl<'hrp> core::iter::traits::iterator::Iterator for bech32::primitives::checksum::HrpFe32Iter<'hrp>
+impl<'hrp> core::marker::Freeze for bech32::primitives::checksum::HrpFe32Iter<'hrp>
 impl<'hrp> core::marker::Send for bech32::primitives::checksum::HrpFe32Iter<'hrp>
 impl<'hrp> core::marker::Sync for bech32::primitives::checksum::HrpFe32Iter<'hrp>
 impl<'hrp> core::marker::Unpin for bech32::primitives::checksum::HrpFe32Iter<'hrp>
@@ -429,6 +461,12 @@ impl<'s> core::iter::traits::exact_size::ExactSizeIterator for bech32::primitive
 impl<'s> core::iter::traits::iterator::Iterator for bech32::primitives::decode::AsciiToFe32Iter<'s>
 impl<'s> core::iter::traits::iterator::Iterator for bech32::primitives::decode::ByteIter<'s>
 impl<'s> core::iter::traits::iterator::Iterator for bech32::primitives::decode::Fe32Iter<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::AsciiToFe32Iter<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::ByteIter<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::CheckedHrpstring<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::Fe32Iter<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::SegwitHrpstring<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::UncheckedHrpstring<'s>
 impl<'s> core::marker::Send for bech32::primitives::decode::AsciiToFe32Iter<'s>
 impl<'s> core::marker::Send for bech32::primitives::decode::ByteIter<'s>
 impl<'s> core::marker::Send for bech32::primitives::decode::CheckedHrpstring<'s>
@@ -467,6 +505,7 @@ impl<Ck: core::cmp::Eq + bech32::primitives::checksum::Checksum> core::cmp::Eq f
 impl<Ck: core::cmp::PartialEq + bech32::primitives::checksum::Checksum> core::cmp::PartialEq for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::cmp::PartialEq
 impl<Ck: core::fmt::Debug + bech32::primitives::checksum::Checksum> core::fmt::Debug for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::fmt::Debug
 impl<Ck: core::marker::Copy + bech32::primitives::checksum::Checksum> core::marker::Copy for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Copy
+impl<Ck> core::marker::Freeze for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
 impl<Ck> core::marker::Send for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
 impl<Ck> core::marker::Sync for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
 impl<Ck> core::marker::Unpin for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Unpin
@@ -477,6 +516,7 @@ impl<I, Ck> core::clone::Clone for bech32::primitives::iter::Checksummed<I, Ck>
 impl<I, Ck> core::cmp::Eq for bech32::primitives::iter::Checksummed<I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32> + core::cmp::Eq, Ck: bech32::primitives::checksum::Checksum + core::cmp::Eq
 impl<I, Ck> core::cmp::PartialEq for bech32::primitives::iter::Checksummed<I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32> + core::cmp::PartialEq, Ck: bech32::primitives::checksum::Checksum + core::cmp::PartialEq
 impl<I, Ck> core::iter::traits::iterator::Iterator for bech32::primitives::iter::Checksummed<I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>, Ck: bech32::primitives::checksum::Checksum
+impl<I, Ck> core::marker::Freeze for bech32::primitives::iter::Checksummed<I, Ck> where I: core::marker::Freeze, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
 impl<I, Ck> core::marker::Send for bech32::primitives::iter::Checksummed<I, Ck> where I: core::marker::Send, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
 impl<I, Ck> core::marker::StructuralPartialEq for bech32::primitives::iter::Checksummed<I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>, Ck: bech32::primitives::checksum::Checksum
 impl<I, Ck> core::marker::Sync for bech32::primitives::iter::Checksummed<I, Ck> where I: core::marker::Sync, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
@@ -499,6 +539,9 @@ impl<I> core::iter::traits::exact_size::ExactSizeIterator for bech32::primitives
 impl<I> core::iter::traits::iterator::Iterator for bech32::primitives::encode::WitnessVersionIter<I> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>
 impl<I> core::iter::traits::iterator::Iterator for bech32::primitives::iter::BytesToFes<I> where I: core::iter::traits::iterator::Iterator<Item = u8>
 impl<I> core::iter::traits::iterator::Iterator for bech32::primitives::iter::FesToBytes<I> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>
+impl<I> core::marker::Freeze for bech32::primitives::encode::WitnessVersionIter<I> where I: core::marker::Freeze
+impl<I> core::marker::Freeze for bech32::primitives::iter::BytesToFes<I> where I: core::marker::Freeze
+impl<I> core::marker::Freeze for bech32::primitives::iter::FesToBytes<I> where I: core::marker::Freeze
 impl<I> core::marker::Send for bech32::primitives::encode::WitnessVersionIter<I> where I: core::marker::Send
 impl<I> core::marker::Send for bech32::primitives::iter::BytesToFes<I> where I: core::marker::Send
 impl<I> core::marker::Send for bech32::primitives::iter::FesToBytes<I> where I: core::marker::Send
@@ -560,9 +603,9 @@ pub const bech32::Checksum::CHECKSUM_LENGTH: usize
 pub const bech32::Checksum::CODE_LENGTH: usize
 pub const bech32::Checksum::GENERATOR_SH: [Self::MidstateRepr; 5]
 pub const bech32::Checksum::TARGET_RESIDUE: Self::MidstateRepr
-pub const bech32::hrp::BC: _
-pub const bech32::hrp::BCRT: _
-pub const bech32::hrp::TB: _
+pub const bech32::hrp::BC: bech32::primitives::hrp::Hrp
+pub const bech32::hrp::BCRT: bech32::primitives::hrp::Hrp
+pub const bech32::hrp::TB: bech32::primitives::hrp::Hrp
 pub const bech32::primitives::Bech32::CHECKSUM_LENGTH: usize
 pub const bech32::primitives::Bech32::CODE_LENGTH: usize
 pub const bech32::primitives::Bech32::GENERATOR_SH: [u32; 5]
@@ -614,14 +657,14 @@ pub const bech32::primitives::gf32::Fe32::_6: bech32::primitives::gf32::Fe32
 pub const bech32::primitives::gf32::Fe32::_7: bech32::primitives::gf32::Fe32
 pub const bech32::primitives::gf32::Fe32::_8: bech32::primitives::gf32::Fe32
 pub const bech32::primitives::gf32::Fe32::_9: bech32::primitives::gf32::Fe32
-pub const bech32::primitives::hrp::BC: _
-pub const bech32::primitives::hrp::BCRT: _
-pub const bech32::primitives::hrp::TB: _
-pub const bech32::primitives::segwit::MAX_STRING_LENGTH: usize = 90usize
-pub const bech32::primitives::segwit::VERSION_0: Fe32::Q
-pub const bech32::primitives::segwit::VERSION_1: Fe32::P
-pub const bech32::segwit::VERSION_0: Fe32::Q
-pub const bech32::segwit::VERSION_1: Fe32::P
+pub const bech32::primitives::hrp::BC: bech32::primitives::hrp::Hrp
+pub const bech32::primitives::hrp::BCRT: bech32::primitives::hrp::Hrp
+pub const bech32::primitives::hrp::TB: bech32::primitives::hrp::Hrp
+pub const bech32::primitives::segwit::MAX_STRING_LENGTH: usize
+pub const bech32::primitives::segwit::VERSION_0: bech32::primitives::gf32::Fe32
+pub const bech32::primitives::segwit::VERSION_1: bech32::primitives::gf32::Fe32
+pub const bech32::segwit::VERSION_0: bech32::primitives::gf32::Fe32
+pub const bech32::segwit::VERSION_1: bech32::primitives::gf32::Fe32
 pub const fn bech32::primitives::hrp::Hrp::parse_unchecked(hrp: &str) -> Self
 pub const u128::ONE: Self
 pub const u32::ONE: Self
@@ -691,12 +734,12 @@ pub fn bech32::primitives::checksum::HrpFe32Iter<'hrp>::next(&mut self) -> core:
 pub fn bech32::primitives::checksum::HrpFe32Iter<'hrp>::size_hint(&self) -> (usize, core::option::Option<usize>)
 pub fn bech32::primitives::checksum::PackedFe32::mul_by_x_then_add(&mut self, degree: usize, add: u8) -> u8
 pub fn bech32::primitives::checksum::PackedFe32::unpack(&self, n: usize) -> u8
-pub fn bech32::primitives::checksum::PackedNull::bitxor(self, bech32::primitives::checksum::PackedNull) -> bech32::primitives::checksum::PackedNull
+pub fn bech32::primitives::checksum::PackedNull::bitxor(self, _: bech32::primitives::checksum::PackedNull) -> bech32::primitives::checksum::PackedNull
 pub fn bech32::primitives::checksum::PackedNull::clone(&self) -> bech32::primitives::checksum::PackedNull
 pub fn bech32::primitives::checksum::PackedNull::eq(&self, other: &bech32::primitives::checksum::PackedNull) -> bool
 pub fn bech32::primitives::checksum::PackedNull::fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result
-pub fn bech32::primitives::checksum::PackedNull::mul_by_x_then_add(&mut self, usize, u8) -> u8
-pub fn bech32::primitives::checksum::PackedNull::unpack(&self, usize) -> u8
+pub fn bech32::primitives::checksum::PackedNull::mul_by_x_then_add(&mut self, _: usize, _: u8) -> u8
+pub fn bech32::primitives::checksum::PackedNull::unpack(&self, _: usize) -> u8
 pub fn bech32::primitives::decode::AsciiToFe32Iter<'s>::len(&self) -> usize
 pub fn bech32::primitives::decode::AsciiToFe32Iter<'s>::next(&mut self) -> core::option::Option<bech32::primitives::gf32::Fe32>
 pub fn bech32::primitives::decode::AsciiToFe32Iter<'s>::size_hint(&self) -> (usize, core::option::Option<usize>)
diff --git a/api/no-features.txt b/api/no-features.txt
index c8743906f..abd7feb77 100644
--- a/api/no-features.txt
+++ b/api/no-features.txt
@@ -162,6 +162,26 @@ impl core::marker::Copy for bech32::primitives::gf32::Fe32
 impl core::marker::Copy for bech32::primitives::gf32::FromCharError
 impl core::marker::Copy for bech32::primitives::gf32::TryFromError
 impl core::marker::Copy for bech32::primitives::hrp::Hrp
+impl core::marker::Freeze for bech32::EncodeError
+impl core::marker::Freeze for bech32::primitives::Bech32
+impl core::marker::Freeze for bech32::primitives::Bech32m
+impl core::marker::Freeze for bech32::primitives::NoChecksum
+impl core::marker::Freeze for bech32::primitives::checksum::PackedNull
+impl core::marker::Freeze for bech32::primitives::decode::CharError
+impl core::marker::Freeze for bech32::primitives::decode::CheckedHrpstringError
+impl core::marker::Freeze for bech32::primitives::decode::ChecksumError
+impl core::marker::Freeze for bech32::primitives::decode::CodeLengthError
+impl core::marker::Freeze for bech32::primitives::decode::PaddingError
+impl core::marker::Freeze for bech32::primitives::decode::SegwitCodeLengthError
+impl core::marker::Freeze for bech32::primitives::decode::SegwitHrpstringError
+impl core::marker::Freeze for bech32::primitives::decode::UncheckedHrpstringError
+impl core::marker::Freeze for bech32::primitives::gf32::Fe32
+impl core::marker::Freeze for bech32::primitives::gf32::FromCharError
+impl core::marker::Freeze for bech32::primitives::gf32::TryFromError
+impl core::marker::Freeze for bech32::primitives::hrp::Error
+impl core::marker::Freeze for bech32::primitives::hrp::Hrp
+impl core::marker::Freeze for bech32::primitives::segwit::InvalidWitnessVersionError
+impl core::marker::Freeze for bech32::primitives::segwit::WitnessLengthError
 impl core::marker::Send for bech32::EncodeError
 impl core::marker::Send for bech32::primitives::Bech32
 impl core::marker::Send for bech32::primitives::Bech32m
@@ -320,6 +340,10 @@ impl<'b> core::iter::traits::marker::FusedIterator for bech32::primitives::hrp::
 impl<'b> core::iter::traits::marker::FusedIterator for bech32::primitives::hrp::CharIter<'b>
 impl<'b> core::iter::traits::marker::FusedIterator for bech32::primitives::hrp::LowercaseByteIter<'b>
 impl<'b> core::iter::traits::marker::FusedIterator for bech32::primitives::hrp::LowercaseCharIter<'b>
+impl<'b> core::marker::Freeze for bech32::primitives::hrp::ByteIter<'b>
+impl<'b> core::marker::Freeze for bech32::primitives::hrp::CharIter<'b>
+impl<'b> core::marker::Freeze for bech32::primitives::hrp::LowercaseByteIter<'b>
+impl<'b> core::marker::Freeze for bech32::primitives::hrp::LowercaseCharIter<'b>
 impl<'b> core::marker::Send for bech32::primitives::hrp::ByteIter<'b>
 impl<'b> core::marker::Send for bech32::primitives::hrp::CharIter<'b>
 impl<'b> core::marker::Send for bech32::primitives::hrp::LowercaseByteIter<'b>
@@ -348,29 +372,34 @@ impl<'hrp, I, Ck> core::clone::Clone for bech32::primitives::encode::Encoder<'hr
 impl<'hrp, I, Ck> core::cmp::Eq for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32> + core::cmp::Eq, Ck: bech32::primitives::checksum::Checksum + core::cmp::Eq
 impl<'hrp, I, Ck> core::cmp::PartialEq for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32> + core::cmp::PartialEq, Ck: bech32::primitives::checksum::Checksum + core::cmp::PartialEq
 impl<'hrp, I, Ck> core::iter::traits::iterator::Iterator for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>, Ck: bech32::primitives::checksum::Checksum
+impl<'hrp, I, Ck> core::marker::Freeze for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::marker::Freeze, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
+impl<'hrp, I, Ck> core::marker::Freeze for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::marker::Freeze, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
+impl<'hrp, I, Ck> core::marker::Freeze for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::marker::Freeze
+impl<'hrp, I, Ck> core::marker::Freeze for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::marker::Freeze, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
 impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::marker::Send, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
 impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::marker::Send, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
-impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::marker::Send, I: core::marker::Send
+impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::marker::Send, Ck: core::marker::Send
 impl<'hrp, I, Ck> core::marker::Send for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::marker::Send, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
 impl<'hrp, I, Ck> core::marker::StructuralPartialEq for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>, Ck: bech32::primitives::checksum::Checksum
 impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::marker::Sync, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
 impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::marker::Sync, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
-impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::marker::Sync, I: core::marker::Sync
+impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::marker::Sync, Ck: core::marker::Sync
 impl<'hrp, I, Ck> core::marker::Sync for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::marker::Sync, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
 impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::marker::Unpin, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Unpin
 impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::marker::Unpin, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Unpin
-impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::marker::Unpin, I: core::marker::Unpin
+impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::marker::Unpin, Ck: core::marker::Unpin
 impl<'hrp, I, Ck> core::marker::Unpin for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::marker::Unpin, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Unpin
 impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::panic::unwind_safe::RefUnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::RefUnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::panic::unwind_safe::RefUnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::RefUnwindSafe
-impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::panic::unwind_safe::RefUnwindSafe, I: core::panic::unwind_safe::RefUnwindSafe
+impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::panic::unwind_safe::RefUnwindSafe, Ck: core::panic::unwind_safe::RefUnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::RefUnwindSafe for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::panic::unwind_safe::RefUnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::RefUnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::ByteIter<'hrp, I, Ck> where I: core::panic::unwind_safe::UnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::UnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::CharIter<'hrp, I, Ck> where I: core::panic::unwind_safe::UnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::UnwindSafe
-impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::Encoder<'hrp, I, Ck> where Ck: core::panic::unwind_safe::UnwindSafe, I: core::panic::unwind_safe::UnwindSafe
+impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::Encoder<'hrp, I, Ck> where I: core::panic::unwind_safe::UnwindSafe, Ck: core::panic::unwind_safe::UnwindSafe
 impl<'hrp, I, Ck> core::panic::unwind_safe::UnwindSafe for bech32::primitives::encode::Fe32Iter<'hrp, I, Ck> where I: core::panic::unwind_safe::UnwindSafe, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::panic::unwind_safe::UnwindSafe
 impl<'hrp> bech32::primitives::checksum::HrpFe32Iter<'hrp>
 impl<'hrp> core::iter::traits::iterator::Iterator for bech32::primitives::checksum::HrpFe32Iter<'hrp>
+impl<'hrp> core::marker::Freeze for bech32::primitives::checksum::HrpFe32Iter<'hrp>
 impl<'hrp> core::marker::Send for bech32::primitives::checksum::HrpFe32Iter<'hrp>
 impl<'hrp> core::marker::Sync for bech32::primitives::checksum::HrpFe32Iter<'hrp>
 impl<'hrp> core::marker::Unpin for bech32::primitives::checksum::HrpFe32Iter<'hrp>
@@ -387,6 +416,12 @@ impl<'s> core::iter::traits::exact_size::ExactSizeIterator for bech32::primitive
 impl<'s> core::iter::traits::iterator::Iterator for bech32::primitives::decode::AsciiToFe32Iter<'s>
 impl<'s> core::iter::traits::iterator::Iterator for bech32::primitives::decode::ByteIter<'s>
 impl<'s> core::iter::traits::iterator::Iterator for bech32::primitives::decode::Fe32Iter<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::AsciiToFe32Iter<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::ByteIter<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::CheckedHrpstring<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::Fe32Iter<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::SegwitHrpstring<'s>
+impl<'s> core::marker::Freeze for bech32::primitives::decode::UncheckedHrpstring<'s>
 impl<'s> core::marker::Send for bech32::primitives::decode::AsciiToFe32Iter<'s>
 impl<'s> core::marker::Send for bech32::primitives::decode::ByteIter<'s>
 impl<'s> core::marker::Send for bech32::primitives::decode::CheckedHrpstring<'s>
@@ -425,6 +460,7 @@ impl<Ck: core::cmp::Eq + bech32::primitives::checksum::Checksum> core::cmp::Eq f
 impl<Ck: core::cmp::PartialEq + bech32::primitives::checksum::Checksum> core::cmp::PartialEq for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::cmp::PartialEq
 impl<Ck: core::fmt::Debug + bech32::primitives::checksum::Checksum> core::fmt::Debug for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::fmt::Debug
 impl<Ck: core::marker::Copy + bech32::primitives::checksum::Checksum> core::marker::Copy for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Copy
+impl<Ck> core::marker::Freeze for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
 impl<Ck> core::marker::Send for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
 impl<Ck> core::marker::Sync for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
 impl<Ck> core::marker::Unpin for bech32::primitives::checksum::Engine<Ck> where <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Unpin
@@ -435,6 +471,7 @@ impl<I, Ck> core::clone::Clone for bech32::primitives::iter::Checksummed<I, Ck>
 impl<I, Ck> core::cmp::Eq for bech32::primitives::iter::Checksummed<I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32> + core::cmp::Eq, Ck: bech32::primitives::checksum::Checksum + core::cmp::Eq
 impl<I, Ck> core::cmp::PartialEq for bech32::primitives::iter::Checksummed<I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32> + core::cmp::PartialEq, Ck: bech32::primitives::checksum::Checksum + core::cmp::PartialEq
 impl<I, Ck> core::iter::traits::iterator::Iterator for bech32::primitives::iter::Checksummed<I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>, Ck: bech32::primitives::checksum::Checksum
+impl<I, Ck> core::marker::Freeze for bech32::primitives::iter::Checksummed<I, Ck> where I: core::marker::Freeze, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Freeze
 impl<I, Ck> core::marker::Send for bech32::primitives::iter::Checksummed<I, Ck> where I: core::marker::Send, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Send
 impl<I, Ck> core::marker::StructuralPartialEq for bech32::primitives::iter::Checksummed<I, Ck> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>, Ck: bech32::primitives::checksum::Checksum
 impl<I, Ck> core::marker::Sync for bech32::primitives::iter::Checksummed<I, Ck> where I: core::marker::Sync, <Ck as bech32::primitives::checksum::Checksum>::MidstateRepr: core::marker::Sync
@@ -457,6 +494,9 @@ impl<I> core::iter::traits::exact_size::ExactSizeIterator for bech32::primitives
 impl<I> core::iter::traits::iterator::Iterator for bech32::primitives::encode::WitnessVersionIter<I> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>
 impl<I> core::iter::traits::iterator::Iterator for bech32::primitives::iter::BytesToFes<I> where I: core::iter::traits::iterator::Iterator<Item = u8>
 impl<I> core::iter::traits::iterator::Iterator for bech32::primitives::iter::FesToBytes<I> where I: core::iter::traits::iterator::Iterator<Item = bech32::primitives::gf32::Fe32>
+impl<I> core::marker::Freeze for bech32::primitives::encode::WitnessVersionIter<I> where I: core::marker::Freeze
+impl<I> core::marker::Freeze for bech32::primitives::iter::BytesToFes<I> where I: core::marker::Freeze
+impl<I> core::marker::Freeze for bech32::primitives::iter::FesToBytes<I> where I: core::marker::Freeze
 impl<I> core::marker::Send for bech32::primitives::encode::WitnessVersionIter<I> where I: core::marker::Send
 impl<I> core::marker::Send for bech32::primitives::iter::BytesToFes<I> where I: core::marker::Send
 impl<I> core::marker::Send for bech32::primitives::iter::FesToBytes<I> where I: core::marker::Send
@@ -512,9 +552,9 @@ pub const bech32::Checksum::CHECKSUM_LENGTH: usize
 pub const bech32::Checksum::CODE_LENGTH: usize
 pub const bech32::Checksum::GENERATOR_SH: [Self::MidstateRepr; 5]
 pub const bech32::Checksum::TARGET_RESIDUE: Self::MidstateRepr
-pub const bech32::hrp::BC: _
-pub const bech32::hrp::BCRT: _
-pub const bech32::hrp::TB: _
+pub const bech32::hrp::BC: bech32::primitives::hrp::Hrp
+pub const bech32::hrp::BCRT: bech32::primitives::hrp::Hrp
+pub const bech32::hrp::TB: bech32::primitives::hrp::Hrp
 pub const bech32::primitives::Bech32::CHECKSUM_LENGTH: usize
 pub const bech32::primitives::Bech32::CODE_LENGTH: usize
 pub const bech32::primitives::Bech32::GENERATOR_SH: [u32; 5]
@@ -566,14 +606,14 @@ pub const bech32::primitives::gf32::Fe32::_6: bech32::primitives::gf32::Fe32
 pub const bech32::primitives::gf32::Fe32::_7: bech32::primitives::gf32::Fe32
 pub const bech32::primitives::gf32::Fe32::_8: bech32::primitives::gf32::Fe32
 pub const bech32::primitives::gf32::Fe32::_9: bech32::primitives::gf32::Fe32
-pub const bech32::primitives::hrp::BC: _
-pub const bech32::primitives::hrp::BCRT: _
-pub const bech32::primitives::hrp::TB: _
-pub const bech32::primitives::segwit::MAX_STRING_LENGTH: usize = 90usize
-pub const bech32::primitives::segwit::VERSION_0: Fe32::Q
-pub const bech32::primitives::segwit::VERSION_1: Fe32::P
-pub const bech32::segwit::VERSION_0: Fe32::Q
-pub const bech32::segwit::VERSION_1: Fe32::P
+pub const bech32::primitives::hrp::BC: bech32::primitives::hrp::Hrp
+pub const bech32::primitives::hrp::BCRT: bech32::primitives::hrp::Hrp
+pub const bech32::primitives::hrp::TB: bech32::primitives::hrp::Hrp
+pub const bech32::primitives::segwit::MAX_STRING_LENGTH: usize
+pub const bech32::primitives::segwit::VERSION_0: bech32::primitives::gf32::Fe32
+pub const bech32::primitives::segwit::VERSION_1: bech32::primitives::gf32::Fe32
+pub const bech32::segwit::VERSION_0: bech32::primitives::gf32::Fe32
+pub const bech32::segwit::VERSION_1: bech32::primitives::gf32::Fe32
 pub const fn bech32::primitives::hrp::Hrp::parse_unchecked(hrp: &str) -> Self
 pub const u128::ONE: Self
 pub const u32::ONE: Self
@@ -635,12 +675,12 @@ pub fn bech32::primitives::checksum::HrpFe32Iter<'hrp>::next(&mut self) -> core:
 pub fn bech32::primitives::checksum::HrpFe32Iter<'hrp>::size_hint(&self) -> (usize, core::option::Option<usize>)
 pub fn bech32::primitives::checksum::PackedFe32::mul_by_x_then_add(&mut self, degree: usize, add: u8) -> u8
 pub fn bech32::primitives::checksum::PackedFe32::unpack(&self, n: usize) -> u8
-pub fn bech32::primitives::checksum::PackedNull::bitxor(self, bech32::primitives::checksum::PackedNull) -> bech32::primitives::checksum::PackedNull
+pub fn bech32::primitives::checksum::PackedNull::bitxor(self, _: bech32::primitives::checksum::PackedNull) -> bech32::primitives::checksum::PackedNull
 pub fn bech32::primitives::checksum::PackedNull::clone(&self) -> bech32::primitives::checksum::PackedNull
 pub fn bech32::primitives::checksum::PackedNull::eq(&self, other: &bech32::primitives::checksum::PackedNull) -> bool
 pub fn bech32::primitives::checksum::PackedNull::fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result
-pub fn bech32::primitives::checksum::PackedNull::mul_by_x_then_add(&mut self, usize, u8) -> u8
-pub fn bech32::primitives::checksum::PackedNull::unpack(&self, usize) -> u8
+pub fn bech32::primitives::checksum::PackedNull::mul_by_x_then_add(&mut self, _: usize, _: u8) -> u8
+pub fn bech32::primitives::checksum::PackedNull::unpack(&self, _: usize) -> u8
 pub fn bech32::primitives::decode::AsciiToFe32Iter<'s>::len(&self) -> usize
 pub fn bech32::primitives::decode::AsciiToFe32Iter<'s>::next(&mut self) -> core::option::Option<bech32::primitives::gf32::Fe32>
 pub fn bech32::primitives::decode::AsciiToFe32Iter<'s>::size_hint(&self) -> (usize, core::option::Option<usize>)
diff --git a/src/lib.rs b/src/lib.rs
index 3a90922b0..270b106a1 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -127,7 +127,6 @@
 #![cfg_attr(all(not(feature = "std"), not(test)), no_std)]
 // Experimental features we need.
 #![cfg_attr(bench, feature(test))]
-#![cfg_attr(docsrs, feature(doc_auto_cfg))]
 // Coding conventions
 #![deny(missing_docs)]
 
diff --git a/src/primitives/decode.rs b/src/primitives/decode.rs
index 551083879..dc3a12475 100644
--- a/src/primitives/decode.rs
+++ b/src/primitives/decode.rs
@@ -92,7 +92,7 @@ const SEP: char = '1';
 /// checksum in any way.
 ///
 /// Unless you are attempting to validate a string with multiple checksums then you likely do not
-/// want to use this type directly, instead use [`CheckedHrpstring::new(s)`].
+/// want to use this type directly, instead use [`CheckedHrpstring::new`]`(s)`.
 ///
 /// # Examples
 ///
@@ -134,7 +134,7 @@ impl<'s> UncheckedHrpstring<'s> {
 
         let ret = UncheckedHrpstring {
             hrp: Hrp::parse(hrp)?,
-            data_part_ascii: rest[1..].as_bytes(), // Skip the separator.
+            data_part_ascii: &rest.as_bytes()[1..], // Skip the separator.
             hrpstring_length: s.len(),
         };
 
@@ -442,7 +442,7 @@ impl<'s> CheckedHrpstring<'s> {
     ///
     /// Converts the ASCII bytes representing field elements to the respective field elements.
     #[inline]
-    pub fn fe32_iter<I: Iterator<Item = u8>>(&self) -> AsciiToFe32Iter {
+    pub fn fe32_iter<I: Iterator<Item = u8>>(&self) -> AsciiToFe32Iter<'_> {
         AsciiToFe32Iter { iter: self.ascii.iter().copied() }
     }
 
@@ -451,7 +451,7 @@ impl<'s> CheckedHrpstring<'s> {
     /// Converts the ASCII bytes representing field elements to the respective field elements, then
     /// converts the stream of field elements to a stream of bytes.
     #[inline]
-    pub fn byte_iter(&self) -> ByteIter {
+    pub fn byte_iter(&self) -> ByteIter<'_> {
         ByteIter { iter: AsciiToFe32Iter { iter: self.ascii.iter().copied() }.fes_to_bytes() }
     }
 
@@ -661,7 +661,7 @@ impl<'s> SegwitHrpstring<'s> {
     ///
     /// Use `self.witness_version()` to get the witness version.
     #[inline]
-    pub fn byte_iter(&self) -> ByteIter {
+    pub fn byte_iter(&self) -> ByteIter<'_> {
         ByteIter { iter: AsciiToFe32Iter { iter: self.ascii.iter().copied() }.fes_to_bytes() }
     }
 }
diff --git a/src/primitives/hrp.rs b/src/primitives/hrp.rs
index 27b377cb7..8a0a84fc6 100644
--- a/src/primitives/hrp.rs
+++ b/src/primitives/hrp.rs
@@ -163,24 +163,24 @@ impl Hrp {
     /// If an uppercase HRP was parsed during object construction then this iterator will yield
     /// uppercase ASCII `char`s. For lowercase bytes see [`Self::lowercase_byte_iter`]
     #[inline]
-    pub fn byte_iter(&self) -> ByteIter { ByteIter { iter: self.buf[..self.size].iter() } }
+    pub fn byte_iter(&self) -> ByteIter<'_> { ByteIter { iter: self.buf[..self.size].iter() } }
 
     /// Creates a character iterator over the ASCII characters of this HRP.
     ///
     /// If an uppercase HRP was parsed during object construction then this iterator will yield
     /// uppercase ASCII `char`s. For lowercase bytes see [`Self::lowercase_char_iter`].
     #[inline]
-    pub fn char_iter(&self) -> CharIter { CharIter { iter: self.byte_iter() } }
+    pub fn char_iter(&self) -> CharIter<'_> { CharIter { iter: self.byte_iter() } }
 
     /// Creates a lowercase iterator over the byte values (ASCII characters) of this HRP.
     #[inline]
-    pub fn lowercase_byte_iter(&self) -> LowercaseByteIter {
+    pub fn lowercase_byte_iter(&self) -> LowercaseByteIter<'_> {
         LowercaseByteIter { iter: self.byte_iter() }
     }
 
     /// Creates a lowercase character iterator over the ASCII characters of this HRP.
     #[inline]
-    pub fn lowercase_char_iter(&self) -> LowercaseCharIter {
+    pub fn lowercase_char_iter(&self) -> LowercaseCharIter<'_> {
         LowercaseCharIter { iter: self.lowercase_byte_iter() }
     }
 
diff --git a/src/primitives/iter.rs b/src/primitives/iter.rs
index 65b4ff9df..3c8012a7f 100644
--- a/src/primitives/iter.rs
+++ b/src/primitives/iter.rs
@@ -61,7 +61,9 @@ pub trait Fe32IterExt: Sized + Iterator<Item = Fe32> {
 
     /// Adapts the Fe32 iterator to encode the field elements into a bech32 address.
     #[inline]
-    fn with_checksum<Ck: Checksum>(self, hrp: &Hrp) -> Encoder<Self, Ck> { Encoder::new(self, hrp) }
+    fn with_checksum<Ck: Checksum>(self, hrp: &Hrp) -> Encoder<'_, Self, Ck> {
+        Encoder::new(self, hrp)
+    }
 }
 
 impl<I> Fe32IterExt for I where I: Iterator<Item = Fe32> {}