tests/co19/co19-analyzer.status - Issue 25509003: It is statically OK to call methods on bottom type.

Side by Side Diff

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Keyboard Shortcuts

	File
u :	up to issue
j / k :	jump to file after / before current file
J / K :	jump to next file with a comment after / before current file
	Side-by-side diff
i :	toggle intra-line diffs
e :	expand all comments
c :	collapse all comments
s :	toggle showing all comments
n / p :	next / previous diff chunk or comment
N / P :	next / previous comment
<Up> / <Down> :	next / previous line

	Issue
u :	up to list of issues
j / k :	jump to patch after / before current patch
o / <Enter> :	open current patch in side-by-side view
i :	open current patch in unified diff view

	Issue List
j / k :	jump to issue after / before current issue
o / <Enter> :	open current issue

Side by Side Diff: tests/co19/co19-analyzer.status

Issue 25509003: It is statically OK to call methods on bottom type. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart

Patch Set: Created 7 years, 2 months ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

View unified diff | Download patch | Annotate | Revision Log

OLD	NEW
1 # Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file	1 # Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file

2 # for details. All rights reserved. Use of this source code is governed by a	2 # for details. All rights reserved. Use of this source code is governed by a

3 # BSD-style license that can be found in the LICENSE file.	3 # BSD-style license that can be found in the LICENSE file.

4	4

5 [ $compiler == dartanalyzer ]	5 [ $compiler == dartanalyzer ]

6 # not clear: null..[1](1)[2](2).foo(3, bar: 4)=5 - it seems that verything befor e =5 it not assignable

7 Language/07_Classes/6_Constructors/1_Generative_Constructors_A04_t15: fail

8

9 # invalid argument for constant constructor	6 # invalid argument for constant constructor

10 Language/07_Classes/6_Constructors/3_Constant_Constructors_A05_t02: fail	7 Language/07_Classes/6_Constructors/3_Constant_Constructors_A05_t02: fail

11	8

12 # TBF: _f is private, so does not collide	9 # TBF: _f is private, so does not collide

13 Language/07_Classes/1_Instance_Methods_A05_t08: fail	10 Language/07_Classes/1_Instance_Methods_A05_t08: fail

14	11

15 # TBD: should we check that argument for dynamic parameter of constant construct or is not compatible with operation that is performed with it?	12 # TBD: should we check that argument for dynamic parameter of constant construct or is not compatible with operation that is performed with it?

16 Language/12_Expressions/01_Constants_A16_t03: fail	13 Language/12_Expressions/01_Constants_A16_t03: fail

17	14

18 # TBD: should we report _error_ when constant creation uses arguments with types incompatible with parameters?	15 # TBD: should we report _error_ when constant creation uses arguments with types incompatible with parameters?

(...skipping 84 matching lines...) Expand 10 before \| Expand all \| Expand 10 after Loading...
103 Language/14_Libraries_and_Scripts/5_URIs_A01_t24: fail, OK	100 Language/14_Libraries_and_Scripts/5_URIs_A01_t24: fail, OK

104 Language/14_Libraries_and_Scripts/5_URIs_A01_t25: fail, OK	101 Language/14_Libraries_and_Scripts/5_URIs_A01_t25: fail, OK

105	102

106 # co19 issue #596: initializing final variable at declaration and in constructor	103 # co19 issue #596: initializing final variable at declaration and in constructor

107 Language/07_Classes/6_Constructors/1_Generative_Constructors_A12_t02: fail, OK	104 Language/07_Classes/6_Constructors/1_Generative_Constructors_A12_t02: fail, OK

108 Language/07_Classes/6_Constructors/1_Generative_Constructors_A20_t02: fail, OK	105 Language/07_Classes/6_Constructors/1_Generative_Constructors_A20_t02: fail, OK

109	106

110 # co19 issue #597: concrete class with abstract method	107 # co19 issue #597: concrete class with abstract method

111 Language/07_Classes/4_Abstract_Instance_Members_A07_t08: fail, OK	108 Language/07_Classes/4_Abstract_Instance_Members_A07_t08: fail, OK

112	109

OLD	NEW