//
// These are commented out for now because it's not clear what the semantics should be:
-// on the one hand references always have trivial destructors (in the sence that there is
+// on the one hand references always have trivial destructors (in the sense that there is
// nothing to destruct), on the other hand the thing referenced may not have a trivial
// destructor, it really depends upon the users code as to what should happen here:
//