mirror of
https://github.com/erg-lang/erg.git
synced 2025-09-28 12:14:43 +00:00
Merge branch 'main' into shape
This commit is contained in:
commit
5dec24a3bf
2 changed files with 353 additions and 320 deletions
|
@ -2291,7 +2291,7 @@ impl Context {
|
|||
|
||||
/// include `typ` itself.
|
||||
/// if `typ` is a refinement type, include the base type (refine.t)
|
||||
pub(crate) fn _get_super_classes(
|
||||
pub(crate) fn get_super_classes(
|
||||
&self,
|
||||
typ: &Type,
|
||||
) -> Option<impl Iterator<Item = Type> + Clone> {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue