pub fn migrate_file_interactive(
source: &str,
module_name: &str,
file_path: &Path,
type_context: &mut TypeIntrospectionContext,
all_replacements: HashMap<String, ReplaceInfo>,
inheritance_map: HashMap<String, Vec<String>>,
) -> Result<String>