Add todo

Author: lucic71

rules/atomic/tgt_unsafe.rs

@@ -1,6 +1,8 @@
 // Copyright (c) 2022-present INESC-ID.
 // Distributed under the MIT license that can be found in the LICENSE file.
 
+// TODO: use proper atomic translation
+
 fn t1<T1: Default>() -> T1 {
     T1::default()
 }