Remove explicitly imported function from implicit imports.

amarna/Result.py

@@ -58,7 +58,7 @@ def __eq__(self, other: object) -> bool:
 class ResultMultiplePositions:
     def __init__(
         self,
-        filenames: str,
+        filenames: List[str],
         rule_name: str,
         text: str,
         position_list: List[PositionType],
@@ -143,7 +143,7 @@ def create_result_token(filename: str, rule_name: str, text: str, token: Token)
 
 
 def result_multiple_positions(
-    filenames: str,
+    filenames: List[str],
     rule_name: str,
     text: str,
     position_list: List[PositionType],

amarna/amarna.py

@@ -59,7 +59,7 @@ def get_all_rule_names() -> List[str]:
         )
 
     @staticmethod
-    def print_rule_names_and_descriptions() -> List[str]:
+    def print_rule_names_and_descriptions() -> None:
         ruleset = Amarna.load_classes_in_module(local_rules_module) + Amarna.load_classes_in_module(
             post_process_rules_module
         )

amarna/rules/post_process_rules/ImplicitImportRule.py

@@ -39,6 +39,10 @@ def run_rule(self, gathered_data: Dict) -> List[ResultMultiplePositions]:
                         if imp.file_location in files_marked:
                             continue
 
+                        # ignore explicitely imported functions
+                        if imp.import_name == func.name:
+                            continue
+
                         files_marked.append(imp.file_location)
 
                         result = result_multiple_positions(

tests/implicit_import_test_two/proxy.cairo

@@ -0,0 +1,3 @@
+%lang starknet
+
+from utils import auth_read_storage

tests/implicit_import_test_two/utils.cairo

@@ -0,0 +1,29 @@
+%lang starknet
+
+from starkware.starknet.common.syscalls import storage_read, storage_write, get_caller_address
+
+# Helpers for auth users to interact with contract's storage
+@view
+func auth_read_storage{
+        syscall_ptr : felt*,
+    }(auth_account : felt, address : felt) -> (value : felt):
+    let (caller) = get_caller_address()
+
+    assert caller = auth_account
+
+    let (value) = storage_read(address=address)
+
+    return (value=value)
+end
+
+@external
+func auth_write_storage{
+        syscall_ptr : felt*,
+    }(auth_account : felt, address : felt, value : felt):
+    let (caller) = get_caller_address()
+
+    assert caller = auth_account
+
+    storage_write(address=address, value=value)
+    return()
+end