Document behaviour of writing Option<NonNull> pointer

Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de>

Author: 2 people

compiler/rustc_const_eval/src/interpret/intrinsics.rs

@@ -254,6 +254,7 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
 
                 if type_impls_trait {
                     let vtable_ptr = self.get_vtable_ptr(tp_ty, preds)?;
+                    // Writing a non-null pointer into an `Option<NonNull>` will automatically make it `Some`.
                     self.write_pointer(vtable_ptr, dest)?;
                 } else {
                     // Write `None`