diff --git a/src/Compiler/FSComp.txt b/src/Compiler/FSComp.txt
index 43a4b71349b..479e11ad05a 100644
--- a/src/Compiler/FSComp.txt
+++ b/src/Compiler/FSComp.txt
@@ -1694,4 +1694,5 @@ featureEscapeBracesInFormattableString,"Escapes curly braces before calling Form
3563,lexInvalidIdentifier,"This is not a valid identifier"
3564,parsMissingUnionCaseName,"Missing union case name"
3565,parsExpectingType,"Expecting type"
+featureInformationalObjInferenceDiagnostic,"Diagnostic 3559 (warn when obj inferred) at informational level, off by default"
3566,tcMultipleRecdTypeChoice,"Multiple type matches were found:\n%s\nThe type '%s' was used. Due to the overlapping field names\n%s\nconsider using type annotations or change the order of open statements."
diff --git a/src/Compiler/Facilities/LanguageFeatures.fs b/src/Compiler/Facilities/LanguageFeatures.fs
index f85f7833e16..45af383237b 100644
--- a/src/Compiler/Facilities/LanguageFeatures.fs
+++ b/src/Compiler/Facilities/LanguageFeatures.fs
@@ -69,6 +69,7 @@ type LanguageFeature =
| ExtendedStringInterpolation
| WarningWhenMultipleRecdTypeChoice
| ImprovedImpliedArgumentNames
+ | DiagnosticForObjInference
/// LanguageVersion management
type LanguageVersion(versionText) =
@@ -161,6 +162,7 @@ type LanguageVersion(versionText) =
LanguageFeature.ExtendedStringInterpolation, previewVersion
LanguageFeature.WarningWhenMultipleRecdTypeChoice, previewVersion
LanguageFeature.ImprovedImpliedArgumentNames, previewVersion
+ LanguageFeature.DiagnosticForObjInference, previewVersion
]
@@ -285,6 +287,7 @@ type LanguageVersion(versionText) =
| LanguageFeature.ExtendedStringInterpolation -> FSComp.SR.featureExtendedStringInterpolation ()
| LanguageFeature.WarningWhenMultipleRecdTypeChoice -> FSComp.SR.featureWarningWhenMultipleRecdTypeChoice ()
| LanguageFeature.ImprovedImpliedArgumentNames -> FSComp.SR.featureImprovedImpliedArgumentNames ()
+ | LanguageFeature.DiagnosticForObjInference -> FSComp.SR.featureInformationalObjInferenceDiagnostic ()
/// Get a version string associated with the given feature.
static member GetFeatureVersionString feature =
diff --git a/src/Compiler/Facilities/LanguageFeatures.fsi b/src/Compiler/Facilities/LanguageFeatures.fsi
index dcc0c660f2c..cef7a43a325 100644
--- a/src/Compiler/Facilities/LanguageFeatures.fsi
+++ b/src/Compiler/Facilities/LanguageFeatures.fsi
@@ -59,6 +59,7 @@ type LanguageFeature =
| ExtendedStringInterpolation
| WarningWhenMultipleRecdTypeChoice
| ImprovedImpliedArgumentNames
+ | DiagnosticForObjInference
/// LanguageVersion management
type LanguageVersion =
diff --git a/src/Compiler/xlf/FSComp.txt.cs.xlf b/src/Compiler/xlf/FSComp.txt.cs.xlf
index 57a734e2339..13c9dd9295f 100644
--- a/src/Compiler/xlf/FSComp.txt.cs.xlf
+++ b/src/Compiler/xlf/FSComp.txt.cs.xlf
@@ -282,6 +282,11 @@
Notace expr[idx] pro indexování a vytváření řezů
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ podpora využívání vlastností init
diff --git a/src/Compiler/xlf/FSComp.txt.de.xlf b/src/Compiler/xlf/FSComp.txt.de.xlf
index ee9771a204d..743c472a650 100644
--- a/src/Compiler/xlf/FSComp.txt.de.xlf
+++ b/src/Compiler/xlf/FSComp.txt.de.xlf
@@ -282,6 +282,11 @@
expr[idx]-Notation zum Indizieren und Aufteilen
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ Unterstützung für die Nutzung von Initialisierungseigenschaften
diff --git a/src/Compiler/xlf/FSComp.txt.es.xlf b/src/Compiler/xlf/FSComp.txt.es.xlf
index bad83acedd0..d61df64ef38 100644
--- a/src/Compiler/xlf/FSComp.txt.es.xlf
+++ b/src/Compiler/xlf/FSComp.txt.es.xlf
@@ -282,6 +282,11 @@
Notación para indexación y segmentación expr[idx]
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ compatibilidad con el consumo de propiedades init
diff --git a/src/Compiler/xlf/FSComp.txt.fr.xlf b/src/Compiler/xlf/FSComp.txt.fr.xlf
index c2afd67d9aa..d576058a3e1 100644
--- a/src/Compiler/xlf/FSComp.txt.fr.xlf
+++ b/src/Compiler/xlf/FSComp.txt.fr.xlf
@@ -282,6 +282,11 @@
Notation expr[idx] pour l’indexation et le découpage
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ prise en charge de la consommation des propriétés init
diff --git a/src/Compiler/xlf/FSComp.txt.it.xlf b/src/Compiler/xlf/FSComp.txt.it.xlf
index f253f44ec29..67ddd7e0fdc 100644
--- a/src/Compiler/xlf/FSComp.txt.it.xlf
+++ b/src/Compiler/xlf/FSComp.txt.it.xlf
@@ -282,6 +282,11 @@
Notazione expr[idx] per l'indicizzazione e il sezionamento
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ supporto per l'utilizzo delle proprietà init
diff --git a/src/Compiler/xlf/FSComp.txt.ja.xlf b/src/Compiler/xlf/FSComp.txt.ja.xlf
index 29a840ae473..3f8ad74f8a7 100644
--- a/src/Compiler/xlf/FSComp.txt.ja.xlf
+++ b/src/Compiler/xlf/FSComp.txt.ja.xlf
@@ -282,6 +282,11 @@
インデックス作成とスライス用の expr[idx] 表記
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ init プロパティの使用のサポート
diff --git a/src/Compiler/xlf/FSComp.txt.ko.xlf b/src/Compiler/xlf/FSComp.txt.ko.xlf
index 405de3c5651..6a17a61364a 100644
--- a/src/Compiler/xlf/FSComp.txt.ko.xlf
+++ b/src/Compiler/xlf/FSComp.txt.ko.xlf
@@ -282,6 +282,11 @@
인덱싱 및 슬라이싱을 위한 expr[idx] 표기법
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ init 속성 사용 지원
diff --git a/src/Compiler/xlf/FSComp.txt.pl.xlf b/src/Compiler/xlf/FSComp.txt.pl.xlf
index e7e4a68c085..dd3877c8a43 100644
--- a/src/Compiler/xlf/FSComp.txt.pl.xlf
+++ b/src/Compiler/xlf/FSComp.txt.pl.xlf
@@ -282,6 +282,11 @@
notacja wyrażenia expr[idx] do indeksowania i fragmentowania
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ obsługa używania właściwości init
diff --git a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf
index 192307db710..a282f140ab2 100644
--- a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf
+++ b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf
@@ -282,6 +282,11 @@
notação expr[idx] para indexação e fatia
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ suporte para consumir propriedades de inicialização
diff --git a/src/Compiler/xlf/FSComp.txt.ru.xlf b/src/Compiler/xlf/FSComp.txt.ru.xlf
index 19971fae1f1..426b61eaeb1 100644
--- a/src/Compiler/xlf/FSComp.txt.ru.xlf
+++ b/src/Compiler/xlf/FSComp.txt.ru.xlf
@@ -282,6 +282,11 @@
expr[idx] для индексации и среза
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ поддержка использования свойств инициализации
diff --git a/src/Compiler/xlf/FSComp.txt.tr.xlf b/src/Compiler/xlf/FSComp.txt.tr.xlf
index 58ad2b9fd89..67e127a9055 100644
--- a/src/Compiler/xlf/FSComp.txt.tr.xlf
+++ b/src/Compiler/xlf/FSComp.txt.tr.xlf
@@ -282,6 +282,11 @@
Dizin oluşturma ve dilimleme için expr[idx] gösterimi
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ başlatma özelliklerini kullanma desteği
diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf
index b05d1267673..7660508a935 100644
--- a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf
+++ b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf
@@ -282,6 +282,11 @@
用于索引和切片的 expr[idx] 表示法
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ 支持使用 init 属性
diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf
index f91be8f5b41..3a1c92ff8f1 100644
--- a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf
+++ b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf
@@ -282,6 +282,11 @@
用於編製索引和分割的 expr[idx] 註釋
+
+
+ Diagnostic 3559 (warn when obj inferred) at informational level, off by default
+
+ 支援使用 init 屬性