fn translate_concrete( val: &str, ty: &ConcreteType, problematic: &mut bool, ) -> Result<TranslationResult>