use std::collections::HashMap; trait Store { fn get_raw(&self, key: &K) -> Option<()>; } struct InMemoryStore; impl Store> for InMemoryStore { fn get_raw(&self, key: &String) -> Option<()> { None } } fn main() { InMemoryStore.get_raw(&String::default()); //~ ERROR type annotations needed }