No need to call unchecked_deallocate directly, unless one isn't using controlled...

		pjmlp on Aug 14, 2023 \| parent \| context \| favorite \| on: I built a garbage collector for a language that do... No need to call unchecked_deallocate directly, unless one isn't using controlled types, and even better SPARK features. No UB to worry about.