diff --git a/src/Compiler/Checking/TypeRelations.fs b/src/Compiler/Checking/TypeRelations.fs index 681020e8d04..4d1fb5df7e5 100644 --- a/src/Compiler/Checking/TypeRelations.fs +++ b/src/Compiler/Checking/TypeRelations.fs @@ -228,12 +228,10 @@ let ChooseTyparSolutionAndRange (g: TcGlobals) amap (tp:Typar) = (maxTy, isRefined), m ) - if g.langVersion.SupportsFeature LanguageFeature.DiagnosticForObjInference then - match tp.Kind with - | TyparKind.Type -> - if not isRefined then - informationalWarning(Error(FSComp.SR.typrelNeverRefinedAwayFromTop(), m)) - | TyparKind.Measure -> () + match tp.Kind with + | TyparKind.Type when not isRefined -> + informationalWarning(Error(FSComp.SR.typrelNeverRefinedAwayFromTop(), m)) + | _ -> () maxTy, m diff --git a/src/Compiler/FSComp.txt b/src/Compiler/FSComp.txt index da96552b872..930e329332e 100644 --- a/src/Compiler/FSComp.txt +++ b/src/Compiler/FSComp.txt @@ -1733,7 +1733,6 @@ 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" featureStaticLetInRecordsDusEmptyTypes,"Allow static let bindings in union, record, struct, non-incremental-class types" 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." 3567,parsMissingMemberBody,"Expecting member body" diff --git a/src/Compiler/Facilities/LanguageFeatures.fs b/src/Compiler/Facilities/LanguageFeatures.fs index aa455f3acb3..9727699a475 100644 --- a/src/Compiler/Facilities/LanguageFeatures.fs +++ b/src/Compiler/Facilities/LanguageFeatures.fs @@ -62,7 +62,6 @@ type LanguageFeature = | ExtendedStringInterpolation | WarningWhenMultipleRecdTypeChoice | ImprovedImpliedArgumentNames - | DiagnosticForObjInference | ConstraintIntersectionOnFlexibleTypes | StaticLetInRecordsDusEmptyTypes | WarningWhenTailRecAttributeButNonTailRecUsage @@ -196,7 +195,6 @@ type LanguageVersion(versionText, ?disabledFeaturesArray: LanguageFeature array) LanguageFeature.ExtendedStringInterpolation, languageVersion80 LanguageFeature.WarningWhenMultipleRecdTypeChoice, languageVersion80 LanguageFeature.ImprovedImpliedArgumentNames, languageVersion80 - LanguageFeature.DiagnosticForObjInference, languageVersion80 LanguageFeature.WarningWhenTailRecAttributeButNonTailRecUsage, languageVersion80 LanguageFeature.StaticLetInRecordsDusEmptyTypes, languageVersion80 LanguageFeature.ConstraintIntersectionOnFlexibleTypes, languageVersion80 @@ -401,8 +399,6 @@ type LanguageVersion(versionText, ?disabledFeaturesArray: LanguageFeature array) | LanguageFeature.ExtendedStringInterpolation -> FSComp.SR.featureExtendedStringInterpolation () | LanguageFeature.WarningWhenMultipleRecdTypeChoice -> FSComp.SR.featureWarningWhenMultipleRecdTypeChoice () | LanguageFeature.ImprovedImpliedArgumentNames -> FSComp.SR.featureImprovedImpliedArgumentNames () - | LanguageFeature.DiagnosticForObjInference -> FSComp.SR.featureInformationalObjInferenceDiagnostic () - | LanguageFeature.StaticLetInRecordsDusEmptyTypes -> FSComp.SR.featureStaticLetInRecordsDusEmptyTypes () | LanguageFeature.ConstraintIntersectionOnFlexibleTypes -> FSComp.SR.featureConstraintIntersectionOnFlexibleTypes () | LanguageFeature.WarningWhenTailRecAttributeButNonTailRecUsage -> FSComp.SR.featureChkNotTailRecursive () diff --git a/src/Compiler/Facilities/LanguageFeatures.fsi b/src/Compiler/Facilities/LanguageFeatures.fsi index 0c06da92e29..e33e3e66fe1 100644 --- a/src/Compiler/Facilities/LanguageFeatures.fsi +++ b/src/Compiler/Facilities/LanguageFeatures.fsi @@ -52,7 +52,6 @@ type LanguageFeature = | ExtendedStringInterpolation | WarningWhenMultipleRecdTypeChoice | ImprovedImpliedArgumentNames - | DiagnosticForObjInference | ConstraintIntersectionOnFlexibleTypes | StaticLetInRecordsDusEmptyTypes | WarningWhenTailRecAttributeButNonTailRecUsage diff --git a/src/Compiler/xlf/FSComp.txt.cs.xlf b/src/Compiler/xlf/FSComp.txt.cs.xlf index 24d422e5f74..20fdaec741a 100644 --- a/src/Compiler/xlf/FSComp.txt.cs.xlf +++ b/src/Compiler/xlf/FSComp.txt.cs.xlf @@ -482,11 +482,6 @@ Notace expr[idx] pro indexování a vytváření řezů - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - Diagnostika 3559 (upozornit při odvození objektu) na informační úrovni, vypnuto ve výchozím nastavení - - support for consuming init properties 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 54da81134ac..83ac6cf2a76 100644 --- a/src/Compiler/xlf/FSComp.txt.de.xlf +++ b/src/Compiler/xlf/FSComp.txt.de.xlf @@ -482,11 +482,6 @@ expr[idx]-Notation zum Indizieren und Aufteilen - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - Diagnose 3559 (bei abgeleitetem Objekt warnen) auf Informationsebene, standardmäßig deaktiviert - - support for consuming init properties 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 33a79de0ec4..ffdb4efc6a8 100644 --- a/src/Compiler/xlf/FSComp.txt.es.xlf +++ b/src/Compiler/xlf/FSComp.txt.es.xlf @@ -482,11 +482,6 @@ Notación para indexación y segmentación expr[idx] - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - Diagnóstico 3559 (advertir cuando se infiere el objeto) en el nivel informativo, desactivado de manera predeterminada - - support for consuming init properties 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 a1a39f966ce..a92d2233ae6 100644 --- a/src/Compiler/xlf/FSComp.txt.fr.xlf +++ b/src/Compiler/xlf/FSComp.txt.fr.xlf @@ -482,11 +482,6 @@ Notation expr[idx] pour l’indexation et le découpage - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - Diagnostic 3559 (avertir lorsque obj déduit) au niveau informatif, désactivé par défaut - - support for consuming init properties 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 0ebfce02b5e..0040ec3762f 100644 --- a/src/Compiler/xlf/FSComp.txt.it.xlf +++ b/src/Compiler/xlf/FSComp.txt.it.xlf @@ -482,11 +482,6 @@ Notazione expr[idx] per l'indicizzazione e il sezionamento - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - Diagnostica 3559 (avviso in caso di oggetto dedotto) a livello informativo. Opzione disattivata per impostazione predefinita - - support for consuming init properties 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 a936211af0e..3f5f8d7ff52 100644 --- a/src/Compiler/xlf/FSComp.txt.ja.xlf +++ b/src/Compiler/xlf/FSComp.txt.ja.xlf @@ -482,11 +482,6 @@ インデックス作成とスライス用の expr[idx] 表記 - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - 情報レベルでの診断 3559 (obj 推論時に警告)、既定ではオフ - - support for consuming init properties init プロパティの使用のサポート diff --git a/src/Compiler/xlf/FSComp.txt.ko.xlf b/src/Compiler/xlf/FSComp.txt.ko.xlf index ca6c993a858..053b373853c 100644 --- a/src/Compiler/xlf/FSComp.txt.ko.xlf +++ b/src/Compiler/xlf/FSComp.txt.ko.xlf @@ -482,11 +482,6 @@ 인덱싱 및 슬라이싱을 위한 expr[idx] 표기법 - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - 정보 수준에서 진단 3559(개체 유추 시 경고), 기본적으로 꺼짐 - - support for consuming init properties init 속성 사용 지원 diff --git a/src/Compiler/xlf/FSComp.txt.pl.xlf b/src/Compiler/xlf/FSComp.txt.pl.xlf index 4a42cd7710a..c6ccfa4f3b3 100644 --- a/src/Compiler/xlf/FSComp.txt.pl.xlf +++ b/src/Compiler/xlf/FSComp.txt.pl.xlf @@ -482,11 +482,6 @@ notacja wyrażenia expr[idx] do indeksowania i fragmentowania - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - Diagnostyka 3559 (ostrzegaj po wywnioskowaniu obj) na poziomie informacyjnym, domyślnie wyłączona - - support for consuming init properties 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 c280a289ee7..a97ff6b373b 100644 --- a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf +++ b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf @@ -482,11 +482,6 @@ notação expr[idx] para indexação e fatia - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - Diagnóstico 3559 (avisar quando obj inferido) no nível informativo, desativado por padrão - - support for consuming init properties 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 20bc12868c0..0285657c80f 100644 --- a/src/Compiler/xlf/FSComp.txt.ru.xlf +++ b/src/Compiler/xlf/FSComp.txt.ru.xlf @@ -482,11 +482,6 @@ expr[idx] для индексации и среза - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - Diagnostic 3559 (предупреждать при выводе obj) на информационном уровне, отключено по умолчанию - - support for consuming init properties поддержка использования свойств инициализации diff --git a/src/Compiler/xlf/FSComp.txt.tr.xlf b/src/Compiler/xlf/FSComp.txt.tr.xlf index 71dae0613b8..216f6d7a3cf 100644 --- a/src/Compiler/xlf/FSComp.txt.tr.xlf +++ b/src/Compiler/xlf/FSComp.txt.tr.xlf @@ -482,11 +482,6 @@ Dizin oluşturma ve dilimleme için expr[idx] gösterimi - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - Tanılama 3559 (obj çıkarsanıldığında uyarı ver) bilgi düzeyinde, varsayılan olarak kapalı - - support for consuming init properties 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 accae8cbb18..bb348a8bfba 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf @@ -482,11 +482,6 @@ 用于索引和切片的 expr[idx] 表示法 - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - 诊断 3559 (推断出 obj 时发出警告)，信息级别，默认关闭 - - support for consuming init properties 支持使用 init 属性 diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf index d5bbe6b6b03..a89814cc553 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf @@ -482,11 +482,6 @@ 用於編製索引和分割的 expr[idx] 註釋 - - Diagnostic 3559 (warn when obj inferred) at informational level, off by default - 診斷 3559 (推斷 obj 時的警告) 資訊層級，預設為關閉 - - support for consuming init properties 支援使用 init 屬性